良序定理
【词语拼音】liáng xù dìng lǐ
【词语繁体】良序定理
【词语结构】ABCD式词语
【词语字数】四字词语
【网络解释】
良序定理(Well-ordering Theorem)声称所有集合都可以被良序排序。在ZF公理集合论系统中,它与选择公理和佐恩引理是等价的。良序定理是选择公理的等价形式之一。其内容为:对任何集合S,存在S上的二元关系R,使得<S,R>是良序集。它意味着:任何集合都可以良序化。德国数学家策梅罗于1904年提出了这一定理,并在选择公理的基础上给出了定理的证明。
良序序定定序良序集理定公序良俗守序善良定理序理论定语顺序程序定位稳定排序法定程序序列测定天定良缘逆定理耿定理谱定理天理良心良好治理粒序层理程序管理管理程序护理程序工序管理核定位序列公序良俗原则定员定额管理宏处理程序海伦定理互等定理替换定理更比定理内插定理分离定理定期修理定势理论射影定理法定代理毕氏定理心定理得五色定理互逆定理乘法定理代入定理中值定理韦达定理维克定理维里定理递归定理限定推理质数定理盒子定理欧姆定理端点定理良姜理中汤良附理中汤顺序批处理心理物理定律秩序管理处批处理程序墨菲定理介值定理双极定理对偶定理互能定理莫利定理费马定理逼近定理柯西定理组织定理正弦定理余弦定理奇点定理定位理论剩余定理因式定理四色定理泰勒定理理财定律心理定势抽样定理性质定理整定处理映射定理燕尾定理王良的理想三心定理不是定理勾股定理动量定理动能定理终值定理科斯定理高斯定理猎魔定理