Text this: Gödel's proof