Gödel's proof - Nagel, Ernest, 1901-1985. (Routledge & Kegan Paul, 1959)
Réimpression : 1976