A reading list to understand Gödel’s Proof - View it on GitHub