10.3969/j.issn.1672-612X.2007.11.006
对自然数定义的一些注记
利用公理化方法,通过定义非空集上的二元关系"π",使该集合构成全序集,然后在该集合中给出以含有最小元素原理或最大元素原理的适当公理体系来重新刻画自然数的定义,最后证明这些定义与自然数的皮亚诺公理定义彼此是等价的.
自然数、后继、前导、最小元素原理、最大元素原理
26
O156.1(代数、数论、组合理论)
西华师范大学校科研和教改项目05B004
2008-04-28(万方平台首次上网日期,不代表论文的发表时间)
共4页
21-24