All variables appearing in the definition of identity and in the axioms Extensionality and Comprehension, range over individuals of one of two consecutive types.
Όλες οι μεταβλητές που εμφανίζονται στον ορισμό της ταυτότητας και στα αξιώματα της Εκτασιμότητας και Κατανόησης προέρχονται από άτομα από ένα εκ των δύο συνεχόμενων τύπων.