首页 > TAG信息列表 > 良序

良序定理(Well-ordering theorem)

定义:每个非空集合中发非负整数都一定有一个最小的数 良序关系的利用: 例一:      例二证明:任何大于1的整数均可被表示成一串唯一素数之乘积 For Q1: Proof:假设不是素数乘积的正整数构成了一个 set(集合),那么在 set 中必存在最小值 m(利用上面的良序定理) 而且 m 必不是素数,因为若 m