|
|
[请教] 数学归纳法证明,这种证明方法的可靠性是如何证明的?
回到皮亚渃自然数公理。其中有一条,叫作归纳公理:
设 S ⊂ N, 即 S 是自然数全体的子集,亦即 S 是某些自然数构成的集合。
若 1 ∈ S, 且 k ∈ S 藴含 k'; ∈ S (即假定 k 是 S 的成员可以推出其后继 k'; = k+1 也在 S 中), 则 S = N (即 S 含一切自然数)。
所谓自然数公理,是指自然数特有的一组基本性质,自然数的全部性质的逻辑基础。
数学归纳法原理的逻辑基础就是上述归纳公理。原理可以表述如下:
设 {p(n)} 是一序列命题(数学论断序列) ,p(1) 真,且对任意k, 从假定 p(k) 真可推出 p(k+1) 真,则该序列的每个命题皆真。 |
|