The Continuum Hypothesis is a mathematical proposition concerning the sizes of infinite sets. It specifically addresses the possible sizes of sets that exist between the size of the set of natural numbers and the size of the set of real numbers. The hypothesis posits that there is no set whose size is strictly between these two sizes.
Formulated by Georg Cantor in the late 19th century, the Continuum Hypothesis was later shown to be independent of the standard axioms of set theory, meaning it can neither be proven nor disproven using those axioms. This result was established by Kurt Gödel and Paul Cohen in the 20th century.