对自然数定义的一些注记

利用公理化方法,通过定义非空集上的二元关系"π",使该集合构成全序集,然后在该集合中给出以含有最小元素原理或最大元素原理的适当公理体系来重新刻画自然数的定义,最后证明这些定义与自然数的皮亚诺公理定义彼此是等价的。

一个关于Peano公理的注记(续)

证明了关于自然数集={1,2,3,…}的Peano公理系统中的第五条公理(即数学归纳原理)乃该系统中其余公理的逻辑推论.因之,可将它自该系统中删去而仅把它作为一个重要定理以优化该系统.

构造自然数算术系统的一种新方法

用公理化方法来定义非空集上的二元关系<,使得<与该集合构成全序集,在全序集中给出最小元素原理的定义,再构造一个含有最小元素原理的适当公理系统来重新给出自然数的公理化定义,然后从构造的自然数公理系统中严格推导出一些基本命题,最后根据这些基本命题来完成对自然数算术系统的精确刻画,从而得到一种具体构造自然算术系统的新方法。

自然数集及其性质

人类最早认识的数就是自然数,在理论上研究数的概念,首先需要建立关于自然数的理论。自然数是人类最早认识的数,但在中小学教学中很少有人对它进行证明的教法,但作为教师理应掌握其实质,文章就自然数的两种理论(基数理论和序数理论)做以探究。

自然数的序数理论

本文用现代语言对自然数的序数理论作了阐释.

数学归纳法的理论基础

数学归纳法是解决与自然数有关命题的一种行之有效的方法。本文从数学归纳法的整体结构出发,对数学归纳法的发现发展历程、基本原理及常见形式进行了分析总结。

自然数集扩充的意义和公理化

从现实角度讨论自然数集扩充的意义 .从历史角度研究自然数的公理化定义 ,自然数集扩充后基数、序数理论的变化 .