自然数若干性质的证明

本文在文[1]给出的自然数的定义、自然数的加法定义、顺序定义及加法满足交换律、结合律和消去律的基础上,对自然数序数理论中所定义的顺序满足反自反性、传递性,及自然数列具有离散性、良序性的结论作出了证明。