SMS: Gôdel's proof