a_38都成立；“选择公理”允许我们不只证明有基本元素，而且在formula_39和formula_40之间有很多基数。我们现在引入某些有用的概念。若集合formula_22满足formula_42，就被称为康托尔式的：康托尔式集合满足通常形式的康托尔定理。集合formula_22满足进一步条件formula_44，即单元素集合映射在"A"上的限制，则不只是康托尔式的而且是强康托尔式的。下面是关于最大序数的布拉利-福尔蒂悖论。我们定义(跟从朴素集合论)序数是良序排序在相似性下的等价类。在序数上有一个