网站首页 百科知识
所有集合都是可良序的。集合论的重要定理之一。德国逻辑学家策梅罗(E.Zermelo)1904年首次证明。包括选择公理在内的集合论公理，能证明良序定理；由除选择公理以外的集合论公理，加上良序定理，也能证明选择公理。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。