数学归纳法

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

数学归纳法（Mathematical Induction，MI）是一种数学证明方法，通常被用于证明某个给定命题在整个（或者局部）自然数范围内成立。 数学归纳法属于完全严谨的演绎推理法，除了自然数以外，广义上也可用于证明一般良基结构，可应用于数学逻辑和计算机科学领域，称作结构归纳法，例如：集合论中的树。