定理指出如果 formula_54 及 formula_63 则 formula_38。 假设选择公理，所有集合都可良序，且对于所有集合formula_18与formula_17，有 formula_54 或 formula_63。因此，我们可以定义序数，而集合formula_18的基数则是与formula_18等势的最小序数formula_71。 （若不接受选择公理，我们也可对非良序集formula_18定义基数，就是所有与formula_18等势的集的阶中最小者。）
有