【摘 要】
：
用公理化方法来定义非空集上的二元关系<,使得<与该集合构成全序集,在全序集中给出最小元素原理的定义,再构造一个含有最小元素原理的适当公理系统来重新给出自然数的公理化
【基金项目】
：
西华师范大学科研启动基金资助项目(05B004)
论文部分内容阅读
用公理化方法来定义非空集上的二元关系<,使得<与该集合构成全序集,在全序集中给出最小元素原理的定义,再构造一个含有最小元素原理的适当公理系统来重新给出自然数的公理化定义,然后从构造的自然数公理系统中严格推导出一些基本命题,最后根据这些基本命题来完成对自然数算术系统的精确刻画,从而得到一种具体构造自然算术系统的新方法。
其他文献
<正>会计核算方法是对经济业务进行完整、连续和系统的记录和计算,为经营管理提供必要的信息所应用的方法．本文将谈一下电算化会计核算方法的6个步骤．
本文在简述传统鎏金工艺技术沿革和现代镀金技术方法的基础上,以故宫古建筑金属构件的镀金保护为实例,初探现代镀金方法在古建筑金属构件的镀覆金保护中的应用。
回顾我国改革开放发展历程,人才成为了地方经济社会发展最重要的资源和支撑之一。人才队伍中知识层次比较高、创新能力比较强、社会贡献比较大、影响范围比较广的那部分群体,正在发挥引领和带头作用,其作用也越发凸显。随之而来的,是从中央到地方,各级政府纷纷制定的一系列针对高层次人才的政策,涉及引进、培养、使用等等,不遗余力招才引智。东莞曾经被称为“打工者城市”,如今的东莞却是人才创业发展的热土。在人才引进政策
随着智能化、服务化、协同化"互联"大框架完成基本构建,"互联网+"新经济形态初步形成。传统的会计行业也面临着冲击与改革、转型与融合,全方位地促进财会行业与互联网技术的
简述了钙皂分散剂的作用机理,列举了几种钙皂分散剂的结构与性能,对其单独加入及复配情况下的抗硬水能力及去污力分别进行了测试,为复合皂的配方设计提供参考。
通过对江苏104所中等职业学校专业建设评估意见的分析,结合江苏2005年到2009年中等专业学校各专业招生情况与江苏经济发展重点的研究与分析,指出江苏中等职业教育专业设置呈
为建立牡丹‘凤丹’体细胞胚发生培养体系，以牡丹‘凤丹’的合子胚、胚轴和子叶为外植体进行离体培养，研究了种胚发育时期不同质量浓度蔗糖处理及不同的培养基对牡丹体细胞胚发
抗战中,国民政府曾给两位“抗战殉国”的将领追封陆军二级上将,授一级青天白日勋章。这两位将军都“殉国”在湖北境内,一位是33集团军总司令张自忠,另一位是128师师长王劲哉
我国自开展社区矫正工作以来,各省市在坚持全国一盘棋的原则下,充分发挥自身优势,因地制宜,创造性地开展符合当地实际的社区矫正工作路径。通过对赣州市社区矫正监管制度进行
采煤塌陷,严重破坏了矿区的生态环境.本文结合我国塌陷土地整治的基本状况,探讨了环境整治对矿区可持续发展的意义.