Gödel's Proof by James Newman, Ernest Nagel | Lex | Lex