The minimal inner model of ZFC built by transfinite recursion over definable power sets. V=L implies AC and GCH; Gödel (1938) used L to prove the relative consistency of both.
The minimal inner model of ZFC built by transfinite recursion over definable power sets. V=L implies AC and GCH; Gödel (1938) used L to prove the relative consistency of both.