【良序定理】的繁体字： 良序定理
【良序定理】的读音为 liáng xù dìng lǐ，无声调拼音为 liang xu ding li，简拼为 LXDL
【良序定理】的笔画分别为7画、7画、8画、11画，部首分别为艮部、广部、宀部、王部。
【分字繁体字】良的繁体字 序的繁体字 定的繁体字 理的繁体字
良序定理(Well-ordering Theorem)声称所有集合都可以被良序排序。在ZF公理集合论系统中，它与选择公理和佐恩引理是等价的。良序定理是选择公理的等价形式之一。其内容为：对任何集合S，存在S上的二元关系R，使得<S，R>是良序集。它意味着：任何集合都可以良序化。德国数学家策梅罗于1904年提出了这一定理，并在选择公理的基础上给出了定理的证明。