Godel's Proof

by Ernest Nagel

He presented mathematicians with the astounding and melancholy conclusion that the axiomatic method has certain inherent limitations, which rule out the possibility that even the properties of the nonnegative integers can ever be fully axiomatized.