Godel's Proof

by Ernest Nagel

The task, therefore, is to show that there is at least one formula that cannot be derived from the axioms.