1931: Gödel demuestra que algunas verdades son eternamente inprobables.

Gödel, 25, proved in 1931 that no system powerful enough to capture modern mathematics can prove all truths.

Gödel’s 1931 Breakthrough

In 1931, Kurt Gödel published two theorems that shattered the 20th‑century dream of a complete, consistent foundation for mathematics. The first incompleteness theorem states that any sufficiently strong, contradiction‑free system contains statements that are true but unprovable within that system. The second theorem adds that such a system cannot prove its own consistency. Gödel’s argument, though abstract, is a logical tour‑de‑force that applies to every formal system that can encode arithmetic.

ZFC and the Continuum Hypothesis

The standard axiomatic framework for set theory, Zermelo‑Fraenkel with the axiom of choice (ZFC), rests on nine basic assumptions. It is powerful enough to formalize virtually all of contemporary mathematics. Yet Gödel’s theorems guarantee that ZFC harbors unprovable truths. The most famous of these is the continuum hypothesis, which asks whether there exists an infinity strictly between the cardinality of the natural numbers and that of the real numbers. Gödel showed that the hypothesis cannot be disproved from ZFC, and later Cohen proved it cannot be proved either. Thus, the continuum hypothesis remains forever undecidable within the standard axioms.

Implications for Modern Mathematics

Gödel’s results do not render mathematics useless; they simply expose a fundamental limitation. Every mathematician now knows that any ambitious axiomatic system will inevitably leave some questions unanswered. This insight has guided the development of new frameworks—such as large‑cardinal axioms and forcing techniques—that explore the landscape beyond ZFC. For practitioners, the takeaway is clear: when working in a formal system, one must be aware that some truths will always lie outside its reach.

Gödel’s legacy endures as a reminder that the pursuit of certainty in mathematics is bounded by the very logic that underpins it. Future advances will continue to push the frontier, but the horizon will always remain partially out of sight.

Source: How the mathematician Gödel proved that not everything can be proven
Domain: scientificamerican.com