Godel's proof - Nagel, E. (Routledge & Kegan P., 1958)