Mixed types (such as classes containing individuals and classes as elements) and therefore also transfinite types (such as the class of all classes of finite types) are excluded.
Εξαιρούνται οι μικτοί τύποι (όπως οι κλάσεις που περιέχουν άτομα και κλάσεις ως στοιχεία) και συνεπώς και οι υπερπεπερασμένοι τύποι (όπως η κλάση όλων των κλάσεων από πεπερασμένους τύπους).