a_7 自身。这是荒谬的!注意如果我们使用冯·诺伊曼的序数定义，在其中每个序数等同为所有前面序数的集合，则这个悖论是不可避免的: 小于一个固定的 formula_8 的所有序数的序类型是 formula_8 自身必定为真。冯·诺伊曼序数的搜集，像在罗素悖论中的搜集一样，不能是使用经典逻辑的集合论的一个集合。但是在新基础中序类型的搜集（定义为所有良序排序在类似性下的等价类）实际上是个集合，这个悖论被避免是因为小于 formula_7 的所有序数的序类型变成不是 formula_7。Section:::