這樣的數學歸納法是否成立？

對於涉及自然數的命題，已知：
1、當時，命題成立；
2、由成立可以推出成立。

則命題是否對所有自然數都成立？

這種「反向歸納法」是不合法的。下面舉一個簡單的反例：

設的斷言是：是無理數。很顯然，當時，成立；假若時，命題成立，則時，因，這是有理數與無理數之和，也是無理數，所以命題也成立。於是，如果這歸納法合法，可以斷言對所有成立，但是，很清楚這是荒謬的！

請注意：數學歸納法研究的關於自然數的命題，總是對有限的（儘管它可以任意地大）進行斷定的，切勿草率地推廣到的場合，因為：

無窮大不是任何自然數的後繼，或者說，無窮大根本就不是自然數。

這個問題很深刻，具體分析請查閱公理的有關內容。

附帶說一句，即使是通常的正向歸納法，也不能推廣到的情形，你只要稍微改造一下上述反例就可以很輕鬆地得到一個新的反例。

反向歸納法是可行的，但你的寫法不對。

如果只是涉及自然數的命題，那麼時，命題成立的含義根本就不明確。你根本就沒有定義，如果你想說n足夠大時都成立，那麼條件過強以至於結論是顯然的廢話。

正確的表述是，存在序列 , 每個為真。

或者，為真。

例如，先歸納證明成立。

一般沒有「當時命題成立」這種敘述的定義，所以為了完善定義比較好的方法是考慮所有命題在等價關係下的商集，並為之賦予拓撲，使得，，，分別是連續映射（其中任意二者連續則其他均連續）。在這樣的條件下原題目是定義良好的。

已知恆成立，並且，求證 .

因為對任意成立，因此

綜上命題得證

一個例子是，考慮有窮可加的有限測度空間上的單變元命題，定義運算，可以注意到這樣的加法具有交換律和結合律，同時， .其中表示假命題（的等價類）

因此，全體命題構成了羣。通過規定，全體命題具有了距離結構，成為距離拓撲空間。

例如，當時，對於命題，因為，所以有成立，直觀上就是這個命題隨著增大越來越正確。但是注意到，所以，雖然有但是，所以不會因為歸納法產生矛盾。

不請自來

這纔是反向數學歸納法

以上

【1】如果這種歸納法成立，可以證明每一個自然數都是無窮大。

構造數列。

首先

其次假設則因此根據題目中的數學歸納法，對於所有有即所有自然數都是無窮大。

【2】如果這種歸納法成立，還可以證明

構造數列

首先其次假設則因此根據題目中的數學歸納法，對於所有有自然當時，