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