One can show that there is a definable well-ordering of L which definition works the same way in L itself.
Αποδεικνύεται ότι υπάρχει μια ορισμένη καλώς διάταξη του L της οποίας ο ορισμός λειτουργεί με τον ίδιο τρόπο και στο L.