Continuum hypothesis

In mathematics, specifically set theory, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets. It states:

"There is no set whose cardinality is strictly between that of the integers and the real numbers."

Or equivalently:

"Any subset of the real numbers is either finite, or countably infinite, or has the cardinality of the real numbers."

In Zermelo–Fraenkel set theory with the axiom of choice (ZFC), this is equivalent to the following equation in aleph numbers: ${\displaystyle 2^{\aleph _{0}}=\aleph _{1}}$, or even shorter with beth numbers: ${\displaystyle \beth _{1}=\aleph _{1}}$.

The continuum hypothesis was advanced by Georg Cantor in 1878,^[1] and establishing its truth or falsehood is the first of Hilbert's 23 problems presented in 1900. The answer to this problem is independent of ZFC, so that either the continuum hypothesis or its negation can be added as an axiom to ZFC set theory, with the resulting theory being consistent if and only if ZFC is consistent. This independence was proved in 1963 by Paul Cohen, complementing earlier work by Kurt Gödel in 1940.^[2]

The name of the hypothesis comes from the term the continuum for the real numbers.