连续归纳法的新证明及其应用举例

关于实数的连续归纳法类似于数学归纳法,它与Dedekind公理等价。基于现有的研究成果,本文给出了连续归纳法的一个新的较为简单的证明方法；举例说明了连续归纳法的广泛应用,同时也为分析推理的机械化作了一些准备。