Gödel's proof - Nagel, Ernest, 1901-1985 (New York University Press, 2001)