摘要
数学归纳法推理是典型的三段论,而不是完全归纳法,其基础是自然数列的性质,而不是逻辑公理.皮亚诺公理中的归纳法公理并不是一种证明方法,而是自然数集的一条不可缺少的根据性质.
Mathematic induction is a typical syllogism, it is not complete induction, its base is the property of 'S natural sequence, but not logic axioms. The induction axiom m Peano Axioms is not aproof method but an indispensable essential property of set of natural numbers.
出处
《数学理论与应用》
2005年第4期152-154,共3页
Mathematical Theory and Applications