Axiom of constructibility

The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written as V = L, where V {\displaystyle V} represents the von Neumann universe of all well-founded sets, and L {\displaystyle L} represents the constructible sets.

This neuron ends here.