意思：

数学上证明与自然数n有关的命题的一种方法。必须包括两步：(1)验证当n取第一个自然数值n0(如1，2等)时，命题正确；(2)假设当n取某一自然数k时命题正确，以此推出当n=k+1时这个命题也正确。从而就可断定命题对于从n0开始的所有自然数都成立。