Gôdel's proof - Nagel, Ernest; Newman, James R. (New York University, 1958)