数学归纳法 一个与自然数相关的命题,如果(1)当n取第一个值n0时命题成立;(2)在假设当n=k(k∈N+,且k≥n0)时命题成立的前提下,推出当n=k+1时命题也成立,那么可以断定,这个命题对n取第一个值后面的所有正整数成立.