l can be thought of as being built in "stages" resembling the von neumann universe, v. the stages are indexed by ordinals. in von neumann's universe, at a successor stage, one takes v to be the set of "all" subsets of the previous stage, v. by contrast, in gödel's constructible universe l, one uses "only" those subsets of the previous stage that are: