谢怀林

数学归纳法是推理逻辑，它的第一步称为奠基步骤，是论证的基础保证，即通过验证落实传递的起点，这个基础必须真实可靠；它的第二步称为递推步骤，是命题具有后继传递性的保证，即只要命题对某个正整数成立，就能保证该命题对后继正整数都成立。这两步各司其职，缺一不可，需要特别指出的是，第二步不是判断命题的真伪，而是证明命题是否具有传递性，如果没有第一步，而仅有第二步成立，命题也可能是假命题。endprint