What does it mean to say that the Continuum Hypothesis is 'independent of ZFC'?
ACH is too complex to prove with current mathematical techniques but may eventually be resolved
BMathematicians disagree about whether CH is true, so it is considered an open question
CNeither CH nor its negation can be derived from the ZFC axioms — both are consistent with ZFC
DCH is independent of the specific axioms chosen for set theory but provable in all sufficiently strong systems
Independence means that ZFC is consistent with CH being true AND consistent with CH being false. Gödel constructed the constructible universe L — a model of ZFC in which CH holds. Cohen constructed (via forcing) a model of ZFC in which 2^ℵ₀ = ℵ₂, violating CH. Together, these results prove that ZFC can neither prove nor disprove CH. This is categorically different from an 'unsolved problem' — no amount of cleverness within ZFC will ever yield a proof or disproof, because the question is genuinely underdetermined by those axioms.
Question 2 Multiple Choice
Paul Cohen's forcing technique established that CH cannot be proved from ZFC. What did he construct to demonstrate this?
AA proof that ℵ₁ < 2^ℵ₀, directly refuting CH within ZFC
BA model of ZFC in which 2^ℵ₀ = ℵ₂, showing ZFC is consistent with the negation of CH
CA model of ZFC in which no cardinals exist between ℵ₀ and ℵ₁, confirming CH
DA proof that the constructible universe L is the unique model of ZFC
To show CH cannot be proved from ZFC, Cohen needed to exhibit a model of ZFC where CH is false. By adding ℵ₂ many new real numbers through his forcing technique while preserving cardinal structure (ensuring ℵ₁ remained uncountable, not 'collapsed'), he produced a model where 2^ℵ₀ = ℵ₂. Since ZFC has a model where CH fails, ZFC cannot prove CH. Combined with Gödel's result (ZFC has a model — namely L — where CH holds), independence is established: both CH and ¬CH are consistent with ZFC.
Question 3 True / False
The Continuum Hypothesis is an open problem in mathematics — it has not yet been proved or disproved, but a clever enough proof technique might eventually resolve it within standard mathematics.
TTrue
FFalse
Answer: False
CH is not merely unsolved — it is logically independent of ZFC. Gödel (1940) showed CH cannot be disproved from ZFC; Cohen (1963) showed it cannot be proved. These together establish that no proof or disproof within ZFC is possible, ever, regardless of cleverness. This is a structural theorem about what ZFC can and cannot decide. Calling it an 'open question' misrepresents the situation: the question is settled, just not in the form of a proof or refutation — the answer is 'undetermined by the axioms.'
Question 4 True / False
Gödel showed that the Continuum Hypothesis is consistent with ZFC by constructing the constructible universe L — a model of ZFC in which CH holds.
TTrue
FFalse
Answer: True
Gödel's constructible universe L is built by an explicit staged construction where every set is definable from previously constructed sets. In L, the cardinality structure is as tight as possible: 2^ℵ₀ = ℵ₁ (CH holds), and in fact the Generalized Continuum Hypothesis holds throughout. Since L is a legitimate model of ZFC, ZFC cannot refute CH — if ZFC could prove ¬CH, it would be false in L, contradicting L's being a model of ZFC. This is the 'consistency' half of the independence result; Cohen's forcing provided the other half.
Question 5 Short Answer
What is the philosophical significance of the Continuum Hypothesis being independent of ZFC? Why is 'independence' a more radical conclusion than 'we haven't found a proof yet'?
Think about your answer, then reveal below.
Model answer: Independence means the question has no answer within ZFC — not because mathematicians lack a proof, but because the axioms themselves do not determine the answer. CH is true in some models of ZFC and false in others. There is no single 'correct' cardinality of the continuum derivable from the standard axioms. This forces a choice: either accept that mathematics is axiom-relative (a multiverse view), or seek new axioms that extend ZFC and do determine the answer.
An unsolved problem is one where the answer exists but hasn't been found. An independent statement is one where the standard axioms are genuinely silent — both the statement and its negation are compatible with everything ZFC says. This challenges the intuition that mathematical questions have definite answers waiting to be discovered. The independence of CH means the 'size of the continuum' is not a fact about mathematical reality fixed by ZFC — it is a parameter that can vary across different models. Whether this demands new axioms or a multiverse interpretation is an active foundational debate.