Maths›03. Logic and Foundations8.3 Constructible Universe (L)The constructible universe, definable subsets, the hierarchy L_alpha, and the axiom of constructibility.