%0 Journal Article
%T 连续归纳法的新证明及其应用举例
%A 李涛
%A 张景中
%J 科技导报
%P 54-55
%D 2012
%R 10.3981/j.issn.1000-7857.2012.17.008
%X 关于实数的连续归纳法类似于数学归纳法,它与Dedekind公理等价。基于现有的研究成果,本文给出了连续归纳法的一个新的较为简单的证明方法；举例说明了连续归纳法的广泛应用,同时也为分析推理的机械化作了一些准备。
%K 连续归纳法
%K 新证明
%K 数学机械化
%U http://www.kjdb.org/CN/abstract/abstract9321.shtml