的序数们的序类型，因此它严格小于所有序数的序类型 -- 但是通过定义，后者是formula_45自身！在NF(U)中对这个悖论的解决开始于观察到在小于formula_46的序数们上的自然次序的序类型的类型比formula_46的类型高。因此类型齐平有序对的类型比它的参数的类型高1，而常规的Kuratowski有序对高3。对于任何序类型formula_46，我们可以定义比formula_46的类型高1的序类型：如果formula_55，则formula_56是次序formula_57的序类型。T运算的烦琐