查看“︁良序定理”︁的源代码

[[分类:公理集合论]]
[[分类:以 E. Zermelo 命名]]
{{InfoBox
|name=良序定理
|eng_name=well-ordering theorem
|aliases=well-ordering theorem,策梅洛定理,Zermelo's theorem
}}
'''良序定理'''('''well-ordering theorem''')是说明每个[[集合]]都是一个良序集，或者说每个集合上都存在一个[[良序]]。等价于[[选择公理]]，如果添加到 [[ZF 公理系统]]上，会得到 [[ZFC 公理系统]]，此时作为公理也称为'''良序公理'''。

== 公理 ==

对非空集合 <math>A</math> ，存在 <math>A</math> 上的良序。