数学归纳法

数学归纳法（Mathematical Induction、MI、ID）是一种数学证明方法，通常被用来证明某个给定命题拉整个（或者局部）自然数范围内成立。除了自然数以外，广义上个数学归纳法也可以用来证明一般良基结构，例如：集合论中个树。迭种广义个数学归纳法应用来数学逻辑搭计算机科学领域，称作结构归纳法。