This does not mean the theory is "simple", it means that the theory is restricted: types of different orders are not to be mixed: "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."
Αυτό δεν σημαίνει ότι η θεωρία είναι «απλή», σημαίνει ότι η θεωρία είναι περιορισμένη: τύποι διαφορετικών τάξεων δεν πρέπει να αναμιγνύονται: «Μικτοί τύποι (όπως οι κλάσεις που περιέχουν άτομα και κλάσεις ως στοιχεία) και επομένως επίσης μετα-πεπερασμένοι τύποι(όπως η κλάση όλων των κλάσεων με πεπερασμένους τύπους) αποκλείονται.»