Gödel's proof - Ernest Nagel, James Newman