notes from the book, Gödel's Proof - View it on GitHub