Gödel's proof - Nagel, Ernest (Routledge And Kegan, 1958)