或正规公理）对充当对概括公理模式的额外替代是必须的；每个公理都声称一个特定集合存在，并通过给出它的成员必须满足的谓词来定义这个集合。
在 NBG 类理论中.在von Neumann-Bernays-Gödel 集合论中，对集合和类这两者作出了区分。一个类 "x" 是集合，当且仅当它属于某个类 "B"。在这个理论中，有一个定理模式读做：定义了 formula_5 之后，它可以简写为就是说：就是说：定义了 formula_8 之后，它可以简写为：就是的说：在这个公