或formula_60，依赖于使用哪个有序对定义(我们在下文中假定类型齐平有序对)。从此我们可演绎出在小于formula_49的序数们上的序类型是formula_62，从它我们演绎出formula_63。因此T运算不是个函数；我们不能有从序数到序数的严格单调集合映射，它向下映射一个序数！因为T是单调的，我们有formula_64，在序数们中的“递减序列”不能是集合。某些人已经断言这个结果证实了没有NF(U)的模型是“标准”的，因此在任何NFU的模型中序数们外在的不是不是良序的。我们不接受这种立场，而我们