这样的数学归纳法是否成立？

对于涉及自然数的命题，已知：
1、当时，命题成立；
2、由成立可以推出成立。

则命题是否对所有自然数都成立？

这种「反向归纳法」是不合法的。下面举一个简单的反例：

设的断言是：是无理数。很显然，当时，成立；假若时，命题成立，则时，因，这是有理数与无理数之和，也是无理数，所以命题也成立。于是，如果这归纳法合法，可以断言对所有成立，但是，很清楚这是荒谬的！

请注意：数学归纳法研究的关于自然数的命题，总是对有限的（尽管它可以任意地大）进行断定的，切勿草率地推广到的场合，因为：

无穷大不是任何自然数的后继，或者说，无穷大根本就不是自然数。

这个问题很深刻，具体分析请查阅公理的有关内容。

附带说一句，即使是通常的正向归纳法，也不能推广到的情形，你只要稍微改造一下上述反例就可以很轻松地得到一个新的反例。

反向归纳法是可行的，但你的写法不对。

如果只是涉及自然数的命题，那么时，命题成立的含义根本就不明确。你根本就没有定义，如果你想说n足够大时都成立，那么条件过强以至于结论是显然的废话。

正确的表述是，存在序列 , 每个为真。

或者，为真。

例如，先归纳证明成立。

一般没有「当时命题成立」这种叙述的定义，所以为了完善定义比较好的方法是考虑所有命题在等价关系下的商集，并为之赋予拓扑，使得，，，分别是连续映射（其中任意二者连续则其他均连续）。在这样的条件下原题目是定义良好的。

已知恒成立，并且，求证 .

因为对任意成立，因此

综上命题得证

一个例子是，考虑有穷可加的有限测度空间上的单变元命题，定义运算，可以注意到这样的加法具有交换律和结合律，同时， .其中表示假命题（的等价类）

因此，全体命题构成了群。通过规定，全体命题具有了距离结构，成为距离拓扑空间。

例如，当时，对于命题，因为，所以有成立，直观上就是这个命题随著增大越来越正确。但是注意到，所以，虽然有但是，所以不会因为归纳法产生矛盾。

不请自来

这才是反向数学归纳法

以上

【1】如果这种归纳法成立，可以证明每一个自然数都是无穷大。

构造数列。

首先

其次假设则因此根据题目中的数学归纳法，对于所有有即所有自然数都是无穷大。

【2】如果这种归纳法成立，还可以证明

构造数列

首先其次假设则因此根据题目中的数学归纳法，对于所有有自然当时，