數學歸納法

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