Zaslat SMS: Elementos de Metamatemática