Forcing (set theory)

Forcing is a technique in set theory invented by Paul Cohen in 1963 to prove the independence of the Continuum Hypothesis from the ZFC axioms. It is the central method for proving independence results in set theory and remains the most powerful tool for constructing new set-theoretic universes.

The key idea: given a model of ZFC, forcing constructs a larger model by 'forcing' new sets into existence that satisfy specific properties. These new sets are built from a partial order — a structured set of conditions — and a generic filter that chooses, in a controlled way, which conditions are satisfied. The resulting extended model (the forcing extension) satisfies ZFC and can be designed to satisfy or violate specific statements like the Continuum Hypothesis.

Cohen's result completed a 63-year open problem: Hilbert listed the Continuum Hypothesis as the first of his 23 problems in 1900. The resolution was not a proof in the expected sense but a proof of unprovability — a demonstration that our axioms are too weak to decide the question. Forcing has since been used to show dozens of statements in set theory, combinatorics, and mathematical logic are independent of ZFC, transforming our understanding of what mathematical foundations can and cannot determine. The independence results are not failures of the axiomatic method; they are the most honest achievements of it, mapping precisely what the axioms we have do and do not imply.