SMS versenden: Gôdel's proof