Continuum Hypothesis is Independent of ZFC

Theorem
The Continuum Hypothesis can be neither proved nor disproved from the axioms of either Zermelo-Fraenkel set theory (ZF) or ZFC.