Zaslat SMS: Elementos de la metalógica y metamatemática