Gödel showed that \(L\) satisfies all the ZFC axioms, and also the CH. In fact, it satisfies the Generalized Continuum Hypothesis (GCH), namely \(2^{\aleph_\alpha}=\aleph_{\alpha +1}\), for every ordinal \(\alpha\).