Gödel's Proof  by Ernest Nagel, James R. Newman