Text this: Gôdel's proof