| 对自然数定义的一些注记 |
| |
| 引用本文： | 唐善刚.对自然数定义的一些注记[J].绵阳师范学院学报,2007,26(11):21-24. |
| |
| 作者姓名： | 唐善刚 |
| |
| 作者单位： | 西华师范大学数学与信息学院,四川南充,637002 |
| |
| 基金项目： | 西华师范大学科研启动基金资助项目(05B004) |
| |
| 摘 要： | 利用公理化方法,通过定义非空集上的二元关系"π",使该集合构成全序集,然后在该集合中给出以含有最小元素原理或最大元素原理的适当公理体系来重新刻画自然数的定义,最后证明这些定义与自然数的皮亚诺公理定义彼此是等价的。
|
| 关 键 词： | 自然数 后继 前导 最小元素原理 最大元素原理 |
| 文章编号： | 1672-612x(2007)11-0021-04 |
| 修稿时间： | 2007年4月12日 |
Some Notes on the Definition of Natural Number |
| |
| TANG Shan-gang.Some Notes on the Definition of Natural Number[J].Journal of Mianyang Normal University,2007,26(11):21-24. |
| |
| Authors: | TANG Shan-gang |
| |
| Abstract: | In this paper,we first define the binary relation " " in nonvoid set and make the congregation a total ordering.Then we redefine natural number by giving out proper axiom system with principle of the least element and principle of the greatest element in the set.Finally,we prove that these axioms are equivalences to natural number's Peano Axiom. |
| |
| Keywords: | natural number successor predecessor principle of the least element principle of the greatest element |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
