一般归纳法: 假设谓词P对于自变量n∈N,P(n)为true的条件为: 1. P(0) 为真,并且 2. P(n) implys P(n+1)对于任意的n均成立,则 谓词P对于任意的m,m∈N都成立,即, 强归纳法: 假设谓词P对于自变量n∈N, P(n)为true的条件为: 1. P(0) 为真,并且 2. 对于所有n,n∈N,P(0),P(1),…,P(n) 共同才可以imply P(n+1),则 谓词P对于任意的m,m∈N都成立,即,