论文部分内容阅读
<正>数学归纳法(Mathematical Induction)是一种数学证明方法,通常被用于证明某个给定命题在整个(或者局部)自然数范围内成立.除了自然数以外,广义上的数学归纳法也可以用于证明一般良基结构,例如:集合论中的树.这种广义的数学归纳法应用于数理逻辑和计算机科学领域,称作结构归纳法.虽然数学归纳法名字中有"归纳",但是数学归纳法并不是不严谨的归纳推理法,它是属于严谨