The Continuum Hypothesis asks whether there exists a size of infinity strictly between the size of the integers and the size of the real numbers. Georg Cantor proposed it in 1878 and spent years trying, unsuccessfully, to prove it. The eventual resolution, completed in 1963, was stranger than anyone expected: the question is formally independent of the standard axioms of mathematics — neither provable nor disprovable from them — a genuinely fourth kind of mathematical answer beyond simply "true," "false," or "unknown."
It sounds paradoxical, but it's rigorously true: not all infinite sets are the same size. Georg Cantor proved in 1874 that the integers (1, 2, 3, ...) and the real numbers (every point on the number line, including all the irrational numbers in between) represent genuinely, provably different sizes of infinity — the reals form a strictly "bigger" infinity than the integers, despite both being infinite.
You might expect mathematicians eventually proved the Continuum Hypothesis true, or proved it false. What actually happened is far stranger: it was proven that the standard axioms of mathematics (called ZFC — see the ZFC Axioms entry) are simply not powerful enough to decide the question either way. You could add the Continuum Hypothesis as a new axiom, or add its negation as a new axiom, and either choice produces an equally logically consistent version of mathematics. Neither leads to a contradiction.
Before this result, most mathematicians assumed that any precisely stated mathematical question must, at least in principle, eventually be answerable either "true" or "false" by sufficiently clever reasoning — you might not know the answer yet, but surely an answer exists to be found. The Continuum Hypothesis's resolution revealed that some perfectly well-posed mathematical questions have no single fixed answer at all — they're simply not decided by the rules of standard mathematics as customarily practiced.
The "size" of an infinite set is called its cardinality. Cantor's celebrated diagonal argument (1891) proves that the real numbers cannot be put into a one-to-one correspondence with the integers — there are, provably, "more" real numbers than integers, even though both sets are infinite. The cardinality of the integers is denoted ℵ₀ ("aleph-null"), the smallest infinite cardinal; the cardinality of the real numbers (the "continuum") is denoted 2^ℵ₀, and is strictly larger.
CH states: 2^ℵ₀ = ℵ₁, where ℵ₁ is defined as the very next cardinal number after ℵ₀ (the smallest possible cardinality larger than the integers). In other words: the continuum is not just bigger than the integers, but is in fact the immediate next size up, with nothing whatsoever squeezed in between.
Kurt Gödel showed in 1940 that the Continuum Hypothesis, together with the standard ZFC axioms, cannot lead to a logical contradiction — CH is consistent with ZFC. He did this by constructing a specific mathematical model (called the "constructible universe," L) in which both ZFC and CH are simultaneously true, proving that CH cannot be disproven from ZFC (assuming ZFC itself is consistent).
Paul Cohen completed the picture in 1963, inventing an entirely new and enormously influential mathematical technique called forcing to construct a different model of ZFC in which CH is false. Combined with Gödel's earlier result, this proved CH is independent of ZFC — genuinely neither provable nor disprovable from the standard axioms. Cohen was awarded the Fields Medal in 1966 for this work — to date, the only Fields Medal ever awarded primarily for a work in mathematical logic.
Mathematicians working in most fields never need to worry about CH, since their work doesn't depend on its truth or falsity. But in set theory itself, mathematicians must now specify which additional axioms (beyond bare ZFC) they're assuming — some working "under CH," others "under not-CH," others exploring specific alternative axioms altogether, all equally legitimate as far as pure logical consistency is concerned.
Cohen's forcing technique starts with an existing model of ZFC and carefully adds new sets to it (using a delicately constructed "generic" extension) in a way that is guaranteed to preserve every ZFC axiom while forcing a desired specific statement (like ¬CH) to become true in the resulting extended model. Forcing has since become an indispensable and extraordinarily powerful general tool throughout set theory, used to establish the independence of dozens of other important mathematical statements far beyond CH itself, and to build an entire rich landscape of distinct, equally consistent set-theoretic universes.
The Continuum Hypothesis was the very first item on David Hilbert's famous list of 23 unsolved problems, presented in 1900 (see the Hilbert's 23 Problems entry) — reflecting how central Hilbert considered this question to the foundations of mathematics at the turn of the 20th century. Its eventual resolution (proving the question undecidable rather than answering it directly) stands as one of the most philosophically significant results on Hilbert's entire list, directly challenging Hilbert's own deeply-held belief (later further undermined by Gödel's incompleteness theorems — see that entry) that every precisely posed mathematical question must have a definite, discoverable answer.
Since ZFC alone cannot decide CH, some set theorists (following a research programme substantially championed by Gödel himself, and continued vigorously by W. Hugh Woodin and others) have searched for additional, independently well-motivated axioms that might settle CH one way or the other by appeal to considerations beyond mere logical consistency — such as which axioms seem more "natural," more mathematically fruitful, or better aligned with a deeper, intuitive conception of what sets and infinity "really" are. This research remains active and philosophically contested as of 2026, with no consensus achieved on which, if any, such additional axioms should be broadly adopted.
The Continuum Hypothesis concerns just the first step up from ℵ₀. The Generalized Continuum Hypothesis (GCH) makes the analogous claim at every single level of the entire infinite cardinal hierarchy simultaneously: 2^(ℵₙ) = ℵₙ₊₁ for every n. GCH is also independent of ZFC (by essentially the same combined Gödel-Cohen results, suitably generalised), and is strictly stronger than CH alone — GCH implies CH, but CH does not imply GCH.