Gödel’s famous incompleteness theorem showed us that there is a statement in basic arithmetic that is true but can never be proven with basic arithmetic. But that is just the beginning of the story. There are more true but unprovable, or even able to be expressed, statements than we can possibly imagine, argues Noson S. Yanofsky.

Mathematics has long been viewed as the great bastion of certainty. This absolute certainty comes from the notion of proof. We have confidence that what is proven from true axioms will always be true. Scientists and philosophers are envious of the mathematician’s certainty. Some philosophers, like Spinoza and Wittgenstein, even tried to mimic the lofty proofs of the mathematician in expressing their philosophical ideas.

SUGGESTED READING How language distorts reality By Nick Enfield

Part of this certainty came to a halt in 1931 when a twenty-five-year-old Austrian logician named Kurt Gödel proved a revolutionary theorem that shook the foundations of mathematics to its core. The theorem --- called “Gödel’s incompleteness theorem” --- says that there is a statement in basic arithmetic that is true but can never be proven with basic arithmetic. Young Gödel demonstrated that proofs are not as pervasive as previously thought (see Figure 1.) Although this theorem is over ninety years old, its consequences are still remarkable and not fully explored.