类和集合的区分。类可以非常大——实际上你可以谈论“所有集合的类”。但是有一个结构性限制以避免“所有类的类”或“所有集合的集合”这样的描述。成员关系只定义在 formula_2 是集合而 formula_3 是集合或类的条件下。类的构建反映了朴素集合论的构建过程。由于给出了抽象原理，因此从任何带有成员关系的谓词逻辑的陈述，都可以形成相应的类。等于、序对、子类等等的概念都变成定义而不是公理的事情——这些定义都是从公式而来的抽象。集合的构建跟ZF里的处理很相似。有一个谓词“Rp”定义如下：就是说