定理:数学归纳原理(The principle of mathematical induction):一个包含整数1的正整数集合如果具有性质:若其包含整数 k k k,则其也包含整数 k + 1 k+1 k+1,那么这个集合一定是所有正整数的集合.
证明:设 S S S是包含整数1的正整数集合,并且如果它包含整数 n n n,则一定包含 n + 1 n+1 n+1.假定 S S S不是所有正整数的集合,则存在正整数不在 S S S中.由良序性质,在不属于 S S S的所有正整数中存在一个最小的正整数,记为 n n n.且