Ernest Nagel Godel's Proof