SMS versenden: La prueba de Gödel