良序的财产

…为了证明“良序定理”(每组可以给订单关系,如不到,这下命令;即。,每一个子集都有第一个元素看到集合论公理为无限,命令集):)。随后,结果表明,使任何一个…

…基数更大的“well-orderable集”ℵ₁,ℵ₂,ℵ…_α…,由序数索引。连续的基数可以等于2^ℵ₀;因此,连续统假设排除存在一组规模的中间和自然数之间的连续体。

…断言实数的良序的存在,作为被Feferman证明。有序集合是秩序井然的最小元素。如果每个非空的子集它已经被证明的德国数学家恩斯特策梅洛(1871 - 1951),每组可以秩序井然的,提供了一个采用…

…相当于所谓的良序定理。