福尔蒂悖论。我们定义(跟从朴素集合论)序数是良序排序在相似性下的等价类。在序数上有一个明显的自然的良序排序；因为它是良序排序所以它属于一个序数formula_45。(通过超限归纳法)可直接证明在小于一个给定序数formula_46的序数们上的自然次序的序类型是formula_46自身。但是这意味着formula_45是小于formula_49的序数们的序类型，因此它严格小于所有序数的序类型 -- 但是通过定义，后者是formula_45自身！在NF(U)中对这个悖论的解决开始于观察到在小于formula