Generalized Continuum Hypothesis (GCH)

$\forall \kappa (\text{infinite cardinal}\Rightarrow 2^{\kappa }={\kappa }^{+})$

• Implied by constructibility axiom
• Undecidable in ZFC