Gödel's Incompleteness Theorem

This topic is beyond the high-school curriculum (logic and the foundations of mathematics). The full theorem is deeply technical — below is an illustrative treatment, simplifying the visualization and the model.

What just happened?

You added axioms to a formal system. The circle of “provable statements” grew, covering an ever larger part of all the truths — but never the whole. There always remains a non-empty region of statements that are true but unprovable in this system. This is the essence of incompleteness.

Gödel's first theorem (1931):

In every sufficiently rich (encompassing the arithmetic of the natural numbers), consistent formal system there exist true statements that within this system can be neither proved nor disproved. Gödel constructed a specific self-referential statement — in the spirit of “this statement is unprovable in this system”:

The statement $G$ is true if and only if it is unprovable. If the system proved it, it would be inconsistent; since it is consistent — $G$ remains a truth beyond its reach.

Adding axioms does not help:

One can add $G$ as a new axiom — but in the extended system $T' = T + G$ a further undecidable statement $G'$ can be constructed anew. The gap never closes: that is why on the chart to the right the “GAP” bar shrinks but stops above the dashed line — it never reaches zero.

Gödel's second theorem:

Such a system cannot prove its own consistency: $T \nvdash \mathrm{Con}(T)$. Mathematics cannot “from within” guarantee that it will not loop into a contradiction.

Context — Hilbert's program:

Gödel's result was a blow to David Hilbert's dream of grounding all of mathematics on a complete, decidable set of axioms from which all truths would follow. Gödel showed this to be impossible: mathematics is “open” by nature — there will always be truths that go beyond provability in a given system. This is a profound result at the meeting point of mathematics, logic and philosophy — one of the “limits of mathematical knowledge”.

Why you should know this:

This is not exam material — but it changes the way you think about what a proof and “truth” are in mathematics. It shows that even the most rigorous of the sciences has a built-in, unremovable limit to what can be proved within it.

Remember: incompleteness is inevitable — for every sufficiently rich, consistent formal system there exist statements that are true but undecidable, and adding further axioms only creates new such statements. Mathematics cannot be “closed off”.