 A set x is said to be constructible if x ∈ L. The axiom which states that all sets are constructible is denoted V = L and is called the Axiom of Constructibility. Note that L is a proper class and not a set; although as we will see, each Lα  is a set, and the predicate “x is constructible” is actually a definable term of the language.