新基础集合论

有序对

关系和函数在TST（以及NF和NFU）中以通常的方式定义为有序对。首先由Kuratowski在1921年提议的有序对常用的定义对于NF和相关理论有个严重缺陷：结果的有序对必定有比它的参数（它的左和右投影）的类型高2的类型。所以为了决定分层，函数有比它的域的成员高3的类型。
如果能以其类型是同它的参数一样的类型的方式定义对（导致一个类型齐平有序对），则关系或函数有只比它的域的成员的类型高1的类型。所以NF和相关理论通常采用蒯因的有序对的集合论定义，这样得出的是类型的类型-齐平的有序对。Holmes（1998）把有序对与它的左和右投影定为原始概念。幸运的是，无论有序对是通过定义或通过假定（就是作为原始概念）而类型齐平，通常是不重要的。
类型齐平有序对的存在蕴涵了“无穷公理”，而NFU +“无穷公理”解释了NFU +“存在着类型齐平的有序对”（它们不是同样的理论，但是区别无关紧要）。反过来，NFU +“无穷公理”+“选择公理”证明了类型齐平有序对的存在。

NF(U)如何避免集合论悖论

NF清除了三个周知的集合论悖论。NFU这个{相对}相容的理论也避免了这些悖论，增强了我们对这些理论的信心。
罗素悖论：不是层化公式，所以不会通过概括的任何推论得出的存在性。蒯因构造NF的时候大概最关注于这个悖论。
关于最大基数的康托尔悖论利用了康托尔定理对全集的应用。康托尔定理声称（假定ZFC）任何集合的的幂集大于（没有从到的单射函数）。但如果是全集的话，当然有从到的单射。为了解决这个问题，我们需要注意到在类型论中没有意义：的类型比的类型高1。正确的有类型版本（它是在类型论中的定理，成立的原因就像康托尔定理在ZF中成立那样）是，这里的是的单元素子集的集合。在这个定理中，使我们感兴趣的特殊实例是：单元素集合们少于集合们（因此一个元素的集合们少于全体对象，如果我们在NFU中的话）。从全集到这些单元素集合明显的双射不是一个集合；它不是集合是因为它的定义是非层化的。注意在所有已知的NFU的模型中都成立；“选择公理”允许我们不只证明有基本元素，而且在和之间有很多基数。
我们现在引入某些有用的概念。若集合满足，就被称为康托尔式的：康托尔式集合满足通常形式的康托尔定理。集合满足进一步条件，即单元素集合映射在A上的限制，则不只是康托尔式的而且是强康托尔式的。
下面是关于最大序数的布拉利-福尔蒂悖论。我们定义(跟从朴素集合论)序数是良序排序在相似性下的等价类。在序数上有一个明显的自然的良序排序；因为它是良序排序所以它属于一个序数。(通过超限归纳法)可直接证明在小于一个给定序数的序数们上的自然次序的序类型是自身。但是这意味着是小于的序数们的序类型，因此它严格小于所有序数的序类型-- 但是通过定义，后者是自身！
在NF(U)中对这个悖论的解决开始于观察到在小于的序数们上的自然次序的序类型的类型比的类型高。因此类型齐平有序对的类型比它的参数的类型高1，而常规的Kuratowski有序对高3。对于任何序类型，我们可以定义比的类型高1的序类型：如果，则是次序的序类型。T运算的烦琐只是外观上的；可以轻易的证明T是在序数们上的严格的单调(序保持)运算。
我们可以用层化的方式重申关于序类型的引理：在小于的序数们上的自然次序的序类型是或，依赖于使用哪个有序对定义(我们在下文中假定类型齐平有序对)。从此我们可演绎出在小于的序数们上的序类型是，从它我们演绎出。因此T运算不是个函数；我们不能有从序数到序数的严格单调集合映射，它向下映射一个序数！因为T是单调的，我们有，在序数们中的“递减序列”不能是集合。
某些人已经断言这个结果证实了没有NF(U)的模型是“标准”的，因此在任何NFU的模型中序数们外在的不是不是良序的。我们不接受这种立场，而我们注意到还有一个NFU的定理，任何NFU的集合模型都有非良序的“序数”；NFU不结论出全集V是NFU的模型，尽管V是集合，因为成员关系不是集合关系。
关于数学在NFU中的进一步开发，和与在ZFC中相同的开发的比较，请参见数学的集合论实现（en:Implementation of mathematics in set theory）。
蒯因在1940年第一版的《数理逻辑》的集合论中，结合了von Neumann-Bernays-Gödel集合论的真类于NF，并为真类包括了一个无限制概括的公理模式。在1942年，J. Barkley Rosser证明了蒯因的集合论遭受Burali-Forti悖论。在1950年，Hao Wang展示了如何修正蒯因的公理来避免这个问题，蒯因在1951年第二和最终版本的《数理逻辑》中包括了结果的公理化。