Why is the continuum hypothesis important in axiomatic set theory?

The continuum hypothesis is a fundamental statement in set theory asserting that the cardinality of the real numbers (the continuum) is the smallest uncountable cardinal number, denoted as $2^{{\aleph }_0}={\aleph }_1$. It effectively rules out the existence of any set with a size intermediate between the natural numbers and the continuum.1

Its importance in axiomatic set theory stems from its status as an independent proposition. In 1939, Kurt Gödel demonstrated that the hypothesis cannot be disproven using the standard Zermelo-Fraenkel axioms. Subsequently, in 1963, Paul Cohen proved that it cannot be proven within that same system.12

Because the hypothesis is neither provable nor disprovable, it highlights a profound limitation in our standard axiomatic foundations. This independence suggests that there is not just one, but potentially many valid set theories, challenging the intuition that such fundamental questions should have a single, definitive answer. Furthermore, Cohen’s work introduced the technique of forcing, which has become a vital tool for exploring the consistency and independence of other statements in set theory.2