在数学基础中，冯·诺伊曼-博内斯-哥德尔**论（von Neumann–Bernays–Gödel Set Theory，NBG）是设计生成同Zermelo-Fraenkel **论与选择公理一起（ZFC）同样结果的**论公理系统，但只有有限数目的公理而不使用公理模式。
首先由冯·诺伊曼在1920年代公式化，在1937年开始由保罗·博内斯修改，在1940年由哥德尔进一步简化。
不像ZFC，NBG只有有限多个公理。Richard Montague在1961年证明，不可能找到在逻辑上等价于ZFC的有限数目的公理；因此NBG的语言有能力谈论真类同谈论**一样，并且关于**的陈述在NBG中是可证明的，当且仅当它在ZFC中是可证明的（就是说NBG是ZFC的保守扩展）。

这个理论的标志特征是类和**的分离。类可以非常大——实际上你可以谈论“所有**的类”。但是有一个结构性限制防止你推测“所有类的类”或“所有**的**”。
成员关系

只定义在 是**而 是**或类的条件下。
类的开发镜像了朴素**论的开发。给出了抽象的原则，因此可以用类形成带有成员关系的谓词演算的任何陈述。等式、配对、子类的概念都是定义而不是公理的事情——定义们指示了一个公式的特定抽象。

**的开发进行得非常类似于ZF。有一个谓词“Rp”定义如下:

就是说，一个** a 表示（represent）一个类 A，如果 a 的所有元素都是 A 的元素，反之亦然。有些类没有表示，比如不包含自身的所有**的类。这样的类叫做真类。
这种系统的优点是提供了谈论“大对象”的脚手架而不涉险悖论。在范畴论的某些开发中，比如，你把一个大范畴指示为其对象的搜集和态射的搜集可以被表示为真类的范畴。在另一方面，小范畴是其中的对象和态射“适合”于**的范畴。因此我们可以容易的谈论“所有小范畴的范畴”而没有麻烦。当然这是个大范畴。

在本节中提供一个NBG的公理化（实际上有两个不同的公理化，第二个精致了第一个）。比较于Morse-Kelley**论的公理化。
我把NBG看作两种类（two-sorted）的理论，小写字母充当**变量而大写字母充当类变量。成员关系的陈述需要有如下形式之一： 或 ，而等式的陈述需要有如下形式之一 或 。通过符号滥用，我们把 写为 a=A。
这个理论也可以被表达为单种类（one-sorted）的理论，通过如下定义来区分**和类：一个类是**，如果它是另一个类的元素。

公理如下，不带类字样的公理是关于**的。
类外延性公理：: 有相同元素的类是相同的。
外延性公理：: 有相同元素的**是相同的。
类概括公理（模式）：限制公式 的量词只能修饰**，而不允许修饰类（可以包含类和**参数），任何符合这条件的公式，都存在一个对应的类 A 使得对于所有x，。
在朴素**论里，使用非限定的公式构成**，是产生悖论原因。在NBG系统里，限制公式的量词只能用来修饰**而不允许修饰类，并借此有加以限制的公式构成一个类，从而避免了朴素**论的悖论。

若改为限制公式的量词只能用来修饰**，而不允许修饰类，这样它就不再是有限的公理化的，可由另一个理论叫做 Morse-Kelley **论来描述。

配对公理：对于任何** x 和 y，有一个** 它的元素精确的是 x 和 y。
注意这个公理允许有序对的定义，并与类概括一起允许把在**上的关系实现为类（和特定的类关系同一化为从一个类到另一个类的函数、单射和双射）。
大小限制公理：对于任何类 C，存在一个** x 使得 (谓 x 是 C 的表示，即 C 和 x 所包含的元素一样)，当且仅当没有在 C 和所有**的类 V 之间的双射。
这个公理贡献自冯·诺伊曼，并一下实现了分离公理、替代公理和全局选择公理。如果需要的话，它可以被弱化为“任何其定义域被包含在一个**中的类函数的值域等于一个**”；这将去除选择公理（如果需要可以把它替代为更加有用的局部形式的选择公理）。完全的大小限制公理蕴涵了全局选择公理，因为序数的类不是**，所以有从序数到全集的双射。

并集公理：对于任何** x，存在一个** y ： a 是 y 的元素当且仅当 a 是 x 里面其中一个元素的元素。
幂集公理：对于任何** x，存在一个** y ： a 是 y 的元素当且仅当 a 是 x 的子集。
无穷公理：存在一个** y，空集是 y 的元素，且对每个 y 的元素 a ， 也是 y 的元素。(此公理不限定 y 只能有前两者可以生成的元素)
类基础（正规）公理：若类 A 不是空类，则存在类 A 的元素 x，使得 x 与 A 不具有共同元素(可以理解为不相交)。

我们可以用几个公理来取代 NBG 的类概括公理模式。 我们将用以下的公理作为例子，但不保证它是个正式的方法。
**公理：对于任何** x，有一个类 X 使得 x=X。
这个公理给予我们起始的东西（结合上第一个公理化中的关于**存在的那些公理），并且处理在公式中的**参数（parameter）。
注意如果 且 ，则 且 。则足够处理所有命题连结词。

补类公理：对于任何类 A，补集 是类。
交类公理：对于任何类 A 和 B，交集 是类。
现在我们需要处理量化。为了处理多个变量，我们需要能够表示关系。有序对 被定义为平常的 （我们假定了其他 NBG 公理所以有配对）。
积类公理：对于任何类 A 和 B，类 是类（ 实际上就是我们所需要的全部）。

类逆转公理：对于任何类 R， 类 和 存在。
类结合公理：对于任何类 R，类 和 存在。
通过这些公理，我们可以自由的增加虚（dummy）实际参数（argument）并在任意元数关系中重新安排的实际参数的次序。结合公理的特殊形式被完全设计用来使把在实际参数列表中任何项提到前面成为可能（加上逆转公理的辅助）。我们把实际参数的列表 表示为 （它是第一个实际参数作为它的第一个投影而实际参数列表的“尾部”作为它的第二个投影的有序对）。想法是应用 Assoc1 直到这个要提到前面的实际参数被提成第二个参数，接着应用适合的 Conv1 或 Conv2 把第二个参数提到前面，接着应用 Assoc2 直到最初应用 Assoc1 的效果（现在在被移动的实际参数后面的那些实际参数）被改正。

现在我们观察到如果 存在，则** 简单的是把被考虑为关系的第一个**的值域。全称量词依据存在量词和否定来定义。
类值域公理：对于任何类 R，类 存在。可以使用前面的公理重新安排实际参数来把任何单一实际参数提到参数列表的前面来被量化。
现在我们需要专注于由原子公式表达的关系。
类成员公理：类 类对角公理：类 对角公理加上虚实际参数和实际参数的重新安排，可以被用来建造断言它的参数中任何两个的等式的关系；它可以被用来处理重复的变量。

新**论！

**论！多么阴险的论调！