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