 Constructible universe

The constructible universe is the inner model $L={\bigcup }_{\alpha \in \mathrm{Ord}}{L}_{\alpha }$ obtained by iterating the definable power set. It satisfies ZFC and the Generalized continuum hypothesis.