Zaslat SMS: Gôdel's proof