Continuum Hypothesis/Historical Note

Historical Note on Continuum Hypothesis
The Continuum Hypothesis was originally conjectured by.

In $1940$, showed that it is impossible to disprove the Continuum Hypothesis (CH for short) in ZF with or without the Axiom of Choice (ZFC).

In $1963$, showed that it is impossible to prove CH in ZF or ZFC.

These results together show that CH is independent of both ZF and ZFC.

Note, however, that these results do not settle CH one way or the other, nor do they establish that CH is undecidable.

They merely indicate that CH cannot be proved within the scope of ZF or ZFC, and that any further progress will depend on further insights on the nature of sets and their cardinality.