定理9(数学归纳法)
设是关于自然数的命题,若
1)(奠基)在时成立;
2)(归纳) 若在()成立的假定下可以推出成立,则对一切自然数都成立。
定理9给出的方法叫做第二数学归纳法,它比第一数学归纳法的归纳假设更强。
下一步:“第二数学归纳法”之实例解析