摘要
论述了归反原理,作出了算术基本定理的一个简单证明,并指出归反原理还可用于其它有关自然数命题的证明。
The principle of inductive-disproof is given in this paper. The arithmetical fandamental theorem is provedsimply by the principle of inductive-disproof, and some other natural number's proposition can be proved by this princi-ple.
关键词
自然数命题
归反原理
算术基本定理
Principle of inductive-disproof
arithmetical fandamental theorem
natural number's proposition
