自然数四个命题的一种推证方法

本文应用自然数的基本性质(peano公理),对自然数的四个命题——数学里一类重要的证明方法进行讨论。而在许多文献中,对于这四个命题的讨论都是把“最小数原理”作为公理来证明的。本文的讨论是从peano公理体系出发加以论证的。