冯诺伊曼-博内斯-哥德尔集合论

这个理论的标志特征是类和集合的区分。类可以非常大——实际上你可以谈论“所有集合的类”。但是有一个结构性限制以避免“所有类的类”或“所有集合的集合”这样的描述。

成员关系

${\displaystyle a\in s}$ 

只定义在 ${\displaystyle a}$  是集合而 ${\displaystyle s}$  是集合或类的条件下。

类的构建反映了朴素集合论的构建过程。由于给出了抽象原理，因此从任何带有成员关系的谓词逻辑的陈述，都可以形成相应的类。等于、序对、子类等等的概念都变成定义而不是公理的事情——这些定义都是从公式而来的抽象。

集合的构建跟ZF里的处理很相似。有一个谓词“Rp”定义如下：

${\displaystyle \mathrm {Rp} (A,a):=\forall x(x\in A\iff x\in a)}$ 

就是说，一个集合 a 表示（represent）一个类 A，如果 a 的所有元素都是 A 的元素，反之亦然。有些类没有表示，比如不包含自身的所有集合的类。这样的类叫做真类。

这种系统的优点是它搭建出一个框架，以允许谈论“大对象”，而不会有涉及佯谬的顾虑。比如，在范畴论的某些构建中，若然在一个范畴里，对象的搜集和态射的搜集可以被表示为真类，那这范畴便称为大范畴。在另一方面，如果一个范畴的对象和态射能“装进”集合，就称之为小范畴。因此我们可以容易的谈论“所有小范畴的范畴”而不会衍生问题。当然，这样得出的会是个大范畴。

在本节中会展示一个NBG的公理化（实际上有两个不同的公理化，第二个是第一个的改进）。可以把它跟Morse-Kelley集合论的公理化比较一下。

把NBG看作有两种类别（two-sorted）的理论，小写字母充当集合变量而大写字母充当类变量。成员关系的陈述需要是如下形式之一： ${\displaystyle x\in y}$  或 ${\displaystyle x\in Y}$ ，而等式的陈述需要是如下形式之一 ${\displaystyle x=y}$  或 ${\displaystyle X=Y}$ 。通过滥用符号，把 ${\displaystyle (\forall x.x\in a\leftrightarrow x\in A)}$  写为 a=A。

这个理论也可以被表达为单一类别（one-sorted）的理论，通过如下定义来区分集合和类：一个类是集合，如果它是另一个类的元素。

公理如下，不带类字样的公理是关于集合的。

• 类外延性公理：${\displaystyle (\forall x.x\in A\leftrightarrow x\in B)\rightarrow A=B}$ ：有相同元素的类是相同的。
• 外延性公理：${\displaystyle (\forall x.x\in a\leftrightarrow x\in b)\rightarrow a=b}$ ：有相同元素的集合是相同的。
• 类概括公理（模式）：如果公式 ${\displaystyle \phi }$  不包含修饰类的量词（但${\displaystyle \phi }$ 还是可以包含类和集合参数），则存在一个对应的类 A使得对于所有 x，${\displaystyle x\in A\leftrightarrow \phi }$ 。

在朴素集合论里，使用非限定的公式构成集合，是产生佯谬的原因。在NBG系统里，限定了概括公理的适用情况，并借此有加以限制的公式构成一个类，从而避免了朴素集合论的佯谬。

若把这个公理模式强化，允许量词修饰类，这样它就不再是有限可公理化的，可由另一个理论叫做 Morse-Kelley 集合论来描述。

• 配对公理：${\displaystyle \forall x,y.Set(x),Set(y)\leftrightarrow \exists s=\{x,y\}}$ ：对于任何集合 x 和 y，有一个集合 ${\displaystyle \{x,y\}}$ ，它的元素精确地是 x 和 y。

注意这个公理允许有序对的定义，并与类概括一起，允许把在集合上的关系适用于类的情况（对于特定的类关系，也可以使用函数、单射或双射的术语了，只不过是“由类到类”而不是“由集合到集合”）。

• 大小限制公理：对于任何类 C，存在一个集合 x 使得 ${\displaystyle Rp(C,x)}$  （谓 x 是 C 的表示，即 C 和 x 所包含的元素一样），当且仅当没有在 C 和所有集合的类 V 之间的双射。

这个公理贡献自冯·诺伊曼，并一下实现了分离公理、替代公理和全局选择公理。如果需要的话，它可以被弱化为“若类函数的定义域被包含在一个集合中，则其值域亦为集合”；这将去除选择公理（如果需要可以把它替代为更加有用的局部形式的选择公理）。完全的大小限制公理蕴涵了全局选择公理，因为序数的类不是集合，所以有从序数到全集的双射。

• 并集公理：对于任何集合 x，有一个集合精确的包含 x 的元素的元素。
• 幂集公理：对于任何集合 x，有一个集合精确的包含 x 的子集。
• 无穷公理：存在一个集合 y，空集是 y 的元素，且对每个 y 的元素 a ， ${\displaystyle a\cup \{a\}}${\displaystyle a\cup \{a\}}   也是 y 的元素。
• 类基础（正规）公理：若类 A 不是空类，则存在类 A 的元素 x，使得 x 与 A 不具有共同元素（可以理解为不相交）。

我们可以用几个公理来取代 NBG 的类概括公理模式。 我们将用以下的公理作为例子，但不保证它跟正规的方法一样。

• 集合公理：对于任何集合 x，有一个类 X 使得 x=X。

这个公理给予我们某些东西作为起始（结合上第一个公理化中的关于集合存在的那些公理），并且使我们可以处理在公式中的集合参数（parameter）。

注意如果 ${\displaystyle A=\{x\mid \phi \}}$  且 ${\displaystyle B=\{x\mid \psi \}}$ ，则 ${\displaystyle \{x\mid \neg \phi \}=V-A}$  且 ${\displaystyle \{x\mid \phi \wedge \psi \}=A\cap B}$ 。这些已经足够处理所有命题连结词。

• 补类公理：对于任何类 A，补集 ${\displaystyle V-A=\{x\mid x\not \in A\}}$  是类。
• 交类公理：对于任何类 A 和 B，交集 ${\displaystyle A\cap B=\{x\mid x\in A\wedge x\in B\}}$  是类。

现在我们需要处理量化。为了处理多个变量，我们需要能够表示关系。有序对 ${\displaystyle (a,b)}$  被定义为平常的 ${\displaystyle \{\{a\},\{a,b\}\}}$ （我们假定了其他 NBG 公理所以有配对）。

• 积类公理：对于任何类 A 和 B，类 ${\displaystyle A\times B=\{(a,b)\mid a\in A\wedge b\in B\}}$  是类（${\displaystyle V\times A}$  实际上就是我们所需要的全部）。
• 类逆转公理：对于任何类 R， 类 ${\displaystyle Conv1(R)=\{(b,a)\mid (a,b)\in R\}}$  和 ${\displaystyle Conv2(R)=\{(b,(a,c))\mid (a,(b,c))\in R\}}$  存在。
• 类结合公理：对于任何类 R，类 ${\displaystyle Assoc1(R)=\{((a,b),c))\mid (a,(b,c))\in R\}}$  和 ${\displaystyle Assoc2(R)=\{(d,(a,(b,c)))\mid (d,((a,b),c)))\in R\}}$  存在。

通过这些公理，我们可以自由的增加哑变元（dummy argument）并在任意元数关系中重排变元的次序。看起来有点奇特的结合公理，它正是设计用来作调动，使得我们可以把任一变元提到列表前面（加上逆转公理的辅助）。我们把变元的列表 ${\displaystyle (x_{1},x_{2},\ldots ,x_{n})}$  表示为 ${\displaystyle (x_{1},(x_{2},\ldots ,x_{n}))}$ （它是第一个变元作为它的第一个投影，而列表的“尾部”作为它的第二个投影的有序对）。想法是一直应用 Assoc1 ，直到这个要提到前面的变元位于第二个投影，接着适当地应用 Conv1 或 Conv2 ，把第二个变元提到前面，接着应用 Assoc2 直到最初 Assoc1 一系列应用的效果（现在在被移动的变元之后）被改正。

现在我们观察到如果 ${\displaystyle \{(x,y)\mid \phi (x,y)\}}$  存在，则集合 ${\displaystyle \{y\mid (\exists x.\phi (x,y))\}}$  按关系考虑的话，就单纯是第一个集合的值域。全称量词可以通过存在量词和否定来定义。

• 类值域公理：对于任何类 R，类 ${\displaystyle Rng(R)=\{y\mid (\exists x.(x,y)\in R)\}}$  存在。可以使用前面的公理重排变元，把任何单一变元提到变元列表的前面来被量化。

现在我们需要专注于由原子公式表达的关系。

• 类成员公理：类 ${\displaystyle [\in ]=\{(x,y)\mid x\in y\}}$  存在。
• 类对角公理：类 ${\displaystyle [=]=\{(x,y)\mid \,x=y\}}$  存在。

通过对角公理、加入哑变量，以及重排变量，可以构造断言它的参数中任意的两个变量相等这样的关系；这可以被用来处理重复的变量。

• Bernays, Paul. Axiomatic Set Theory. Dover Publications. 1991.  
• John von Neumann, 1925, "An Axiomatization of Set Theory." English translation in Jean van Heijenoort, ed., 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press.
• Mendelson, Elliott, 1997 (1964). An Introduction to Mathematical Logic, 4th ed. Chapman & Hall. The classic textbook treatment of NBG set theory, showing how it can found mathematics.
• Richard Montague, 1961, "Semantic Closure and Non-Finite Axiomatizability I," in Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, (Warsaw, 2-9 September 1959). Pergamon: 45-69.
• von Neumann-Bernays-Gödel set theory. PlanetMath.