Godel's Proof

by Ernest Nagel

In short, if the calculus is not consistent, every formula is a theorem—which is the same as saying that from a contradictory set of axioms any formula can be derived.