SMS: La prueba de Gödel