8.3 Constructible Universe
The constructible universe is a class of sets built in stages by a controlled process of definability. It is denoted by: $$ L $$ The guiding idea is that, at each stage, we do not take all subsets of the previous stage. Instead, we take only those subsets that can be defined over the previous stage by a first order formula using parameters from that stage. In this way, $L$...