对自然数定义的一些注记.pdfVIP

2007年 11月 绵阳师范学院学报 Nov．，2007 26卷 第 l1 Journal of Mianyang Normal Uni V01．26 No．11 对自然数定义的一些注记 唐善刚 (西华师范大学数学与信息学院，四川南充 637002) 摘 要：利用公理化方法，通过定义非空集上的二元关系”仃”，使该集合构成全序集，然后在该集合中给出以 含有最小元素原理或最大元素原理的适当公理体系来重新刻画自然数的定义，最后证明这些定义与自然数的皮亚 诺公理定义彼此是等价的。 关键词：自然数；后继；前导；最小元素原理；最大元素原理 中图分类号：0156．1 文献标识码：A 文章编号：1672-612x(2007)11-0021-04 I， 引 舌 自然数的皮亚诺公理定义由四条公理给出。设非空集Ⅳ满足：(i)有Ⅳ上的一映射 对任意n∈N，设 n = n)，称n 是n的后继，凡是n 的前导；(