1、數學歸納法（Mathematical Induction, MI）是一種數學證明方法，通常被用於證明某個給定命題在整個（或者局部）自然數範圍內成立。除了自然數以外，廣義上的數學歸納法也可以用於證明一般良基結構，例如：集合論中的樹。這種廣義的數學歸納法應用於數學邏輯和計算機科學領域，稱作結構歸納法。
2、在數論中，數學歸納法是以一種不同的方式來證明任意一個給定的情形都是正確的（第一個,第二個，第三個，一直下去概不例外）的數學定理。
3、雖然數學歸納法名字中有“歸納”，但是數學歸納法並非不嚴謹的歸納推理法，而它屬於完全嚴謹的演繹推理法。事實上，所有數學證明都是演繹法。
