Statements true in L

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Here is a list of propositions that hold in the constructible universe (denoted L):

Accepting the axiom of constructibility (which asserts that every set is constructible) these propositions also hold in the von Neumann universe, resolving many propositions in set theory and some interesting questions in analysis.