式的康托尔定理。集合formula_22满足进一步条件formula_44，即单元素集合映射在"A"上的限制，则不只是康托尔式的而且是强康托尔式的。下面是关于最大序数的布拉利-福尔蒂悖论。我们定义(跟从朴素集合论)序数是良序排序在相似性下的等价类。在序数上有一个明显的自然的良序排序；因为它是良序排序所以它属于一个序数formula_45。(通过超限归纳法)可直接证明在小于一个给定序数formula_46的序数们上的自然次序的序类型是formula_46自身。但是这意味着formula_45是小于form