數(shù)學(xué)歸納法（簡稱：MI）是一種數(shù)學(xué)證明方法，通常被用于證明某個給定命題在整個（或者局部）自然數(shù)范圍內(nèi)成立。除了自然數(shù)以外，廣義上的數(shù)學(xué)歸納法也可以用于證明一般良基關(guān)系結(jié)構(gòu)，例如：集合論中的樹(集合論)。這種廣義的數(shù)學(xué)歸納法應(yīng)用于數(shù)學(xué)邏輯和計算機(jī)科學(xué)領(lǐng)域，稱作結(jié)構(gòu)歸納法。

需要留意的是，數(shù)學(xué)歸納法雖然名字中有“歸納”，但是實際上數(shù)學(xué)歸納法并不屬于不嚴(yán)謹(jǐn)性(數(shù)學(xué))的歸納法，實際上是屬于完全嚴(yán)謹(jǐn)?shù)难堇[推理法。

最簡單和常見的數(shù)學(xué)歸納法是證明當(dāng)n等于任意一個自然數(shù)時某命題成立。證明分下面兩步：

1. 證明當(dāng)n=0時命題成立。
2. 證明如果在n=m時命題成立，那么可以推導(dǎo)出在n=m+1時命題也成立。（m代表任意自然數(shù)）

這種方法的原理在于：首先證明在某個起點值時命題成立，然后證明從一個值到下一個值的過程有效。當(dāng)這兩點都已經(jīng)證明，那么任意值都可以通過反復(fù)使用這個方法推導(dǎo)出來。把這個方法想成多米諾效應(yīng)也許更容易理解一些。例如：你有一列很長的直立著的多米諾骨牌，如果你可以：

1. 證明第一張骨牌會倒。
2. 證明只要任意一張骨牌倒了，那么與其相鄰的下一張骨牌也會倒。

那么便可以下結(jié)論：所有的骨牌都會倒。

用數(shù)學(xué)歸納法證題要恰當(dāng)運用分析法，主要有如下三個步驟：

①歸納基礎(chǔ)：證n取第一個值時命題成立。

②證傳遞性：由成立證明時命題成立。

③得出結(jié)論：綜合，時命題成立。

在應(yīng)用，數(shù)學(xué)歸納法常常需要采取一些變化來適應(yīng)實際的需求。下面介紹一些常見的數(shù)學(xué)歸納法變體。

數(shù)學(xué)歸納法的原理作為自然數(shù)公理,通常是被規(guī)定了的(參見皮亞諾公理).但是他可以用一些邏輯方法證明;比如,如果下面的公理:

自然數(shù)集是良序的。

注意到有些其他的公理確實的是數(shù)學(xué)歸納法原理中的二者擇一的公式化.更確切地說,兩個都是等價的.