	If there is a "set" W in V that is a standard model of ZF, and the ordinal κ is the set of ordinals that occur in W, then L is the L of W. If there is a set that is a standard model of ZF, then the smallest such set is such a L. This set is called the minimal model of ZFC. Using the downward Löwenheim–Skolem theorem, one can show that the minimal model (if it exists) is a countable set.