しかしNFにおいては、順序型の集まり(整列集合の順序同型に関する同値類全体)は実際に集合であり、Ω{\displaystyle\Omega}よりも小さな順序数の順序型は実はΩ{\displaystyle\Omega}とは異なるという形でパラドックスは回避される。
但是在新基础中序类型的搜集（定义为所有良序排序在类似性下的等价类）实际上是个集合，这个悖论被避免是因为小于Ω{\displaystyle\Omega\}的所有序数的序类型变成不是Ω{\displaystyle\Omega\}。