c.curionodeThe Fields Archive

1966 · Logic & foundations

What the axioms cannot decide

A precise mathematical question can remain undecidable from a chosen axiom system even when the system is internally consistent.

Paul Cohen

1966Fields Medal

Visual guide

The prize, pictured

Open full-size ↗Download poster ↓中文版海报 ↗
What the axioms cannot decide: A precise mathematical question can remain undecidable from a chosen axiom system even when the system is internally consistent.
Original AI-generated infographic by Curionode. Read the text version below for the full explanation.
Read the poster text

  1. Specify

    State the continuum hypothesis and the chosen axioms.

  2. Extend

    Use forcing to construct a model where the hypothesis fails.

  3. Compare

    Combine compatible models to establish independence from ZFC.

Forcing became a central method of set theory and changed how mathematicians investigate independence, alternative axiom systems and the possible structures of mathematical universes.

Independence is always relative to specified axioms and consistency assumptions. Cohen did not show that every question is undecidable, or that mathematical truth is simply a matter of opinion.

01 · The idea

In everyday language

The continuum hypothesis asks whether a set can have cardinality strictly between that of the integers and that of the real numbers. Gödel had shown that the hypothesis could hold in a model of the usual axioms. Cohen introduced forcing to construct extensions in which it fails while the relevant axioms remain satisfied. Together, the results establish independence from ZFC, assuming ZFC is consistent. Forcing controls which sets are added and how statements behave in the enlarged universe. It demonstrates a boundary of a particular axiom system, rather than declaring the question meaningless.

Why it matters

Forcing became a central method of set theory and changed how mathematicians investigate independence, alternative axiom systems and the possible structures of mathematical universes.

02 · The people

Who brought the idea to life?

Illustrated portrait of Paul Cohen

Paul Cohen

Paul Cohen was born in Long Branch, New Jersey, in 1934. He joined Stanford University and developed forcing, a method that transformed the foundations of mathematics. His 1966 Fields Medal recognised independence results in set theory, notably the continuum hypothesis. Combined with Gödel’s earlier work, Cohen’s proof showed that the standard ZFC axioms cannot decide this hypothesis, assuming their consistency. His achievement made the choice of axioms a concrete mathematical subject: proving a statement independent requires rigorous constructions, not simply a failure to find a proof.

Read the biography ↗

03 · Read further

From the original sources

Original explanations based on the official award record. The subject label is an editorial navigation aid.

  1. Official IMU citation: Paul Cohen ↗www.mathunion.org
  2. Heidelberg Laureate Forum: Paul Cohen ↗www.heidelberg-laureate-forum.org
  3. Stanford Encyclopedia of Philosophy: set theory and forcing ↗plato.stanford.edu

Related ideas

Explore this subject ↗