Constructible Universe (L): That most meticulously crafted realm of set theory, a sub-universe born solely from the iterative application of definable sets, ...
View in Alexandria