| 良序定理
|
| 术语名称
|
良序定理
|
| 英语名称
|
well-ordering theorem
|
| 别名
|
well-ordering theorem, 策梅洛定理, Zermelo's theorem
|
良序定理(well-ordering theorem)是说明每个集合都是一个良序集，或者说每个集合上都存在一个良序。等价于选择公理，如果添加到 ZF 公理系统上，会得到 ZFC 公理系统，此时作为公理也称为良序公理。
公理
对非空集合 [math]\displaystyle{ A }[/math] ，存在 [math]\displaystyle{ A }[/math] 上的良序。
