1、第一数学归纳法。

确定一个表达式在所有自然数范围内是成立的或者用于确定一个其他的形式在一个无穷序列是成立的。

2、第二数学归纳法。数理逻辑和计算机科学广义的形式的观点指出能被求出值的表达式是等价表达式。

3、倒推归纳法。证明数列前n项和与通项公式的成立。

4、螺旋式归纳法。证明和自然数有关的不等式。