良序定理(数学术语) - 百度百科
良序定理(Well-ordering Theorem)声称所有集合都可以被良序排序。在ZF公理集合论系统中,它与选择公理和佐恩引理是等价的。良序定理是选择公理的等价形式之一。其内容...详情