良序定理

以 E. Zermelo 命名

良序定理
术语名称	良序定理
英语名称	well-ordering theorem
别名	well-ordering theorem, 策梅洛定理, Zermelo's theorem

良序定理(well-ordering theorem)是说明每个集合都是一个良序集，或者说每个集合上都存在一个良序。等价于选择公理，如果添加到 ZF 公理体系上，会得到 ZFC 公理体系，此时作为公理也称为良序公理。

公理

对非空集合 [math]\displaystyle{ A }[/math] ，存在 [math]\displaystyle{ A }[/math] 上的良序。