强数学归纳法 。证明目标 Un P(n) /n的论域为正整数集合 。证明框架 。基础步骤：P(1)为真 。归纳步骤：证明k(P(1)Λ.AP(k)→P(k+1) 。/对任意正整数k,给出P(1),,P()上Pk+1)的论证步骤 ● 因此，对任意正整数n,P(n)成立.∥即：nP(n)⚫ 强数学归纳法