以(假定选择公理)我们可以把 ω 等同于 formula_11，除了在写为基数的时候使用符号 formula_11，写为序数的时候使用符号 ω 之外(这是重要的，因为 formula_14 而 formula_15)。还有，formula_16 是最小的不可数序数(要见到它的存在，考虑自然数的良序排序的等价类的集合: 每个这种良序排序定义一个可数序数，而 formula_16 是这个集合的序类型)，formula_18 是其势大于 formula_19 的最小的序数，以此类推，而 formula_20 是对