数学归纳法

吴语维基百科,自由个百科全书
跳到导航 跳到搜索

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