Constructible universe
= Constructible universe
{title2=$L$}
The constructible universe is the <inner model> $L=\bigcup_{\alpha\in\operatorname{Ord}}L_\alpha$ obtained by iterating the <definable power set>. It satisfies <ZFC> and the <Generalized continuum hypothesis>.