高等代数，第四版，第三章P157，T20

数学兴趣大讲堂

---

皮亚诺公理

皮亚诺公理（英语：Peano axioms；意大利语：Assiomi di Peano），也称皮亚诺公设，是意大利数学家朱塞佩·皮亚诺提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。

内容 

皮亚诺的这五条公理用非形式化的方法叙述如下：

• 0是自然数；

• 每一个确定的自然数a，都有一个确定的后继数a' ，a' 也是自然数；

• 对于每个自然数b、c，b=c当且仅当b的后继数=c的后继数；

• 0不是任何自然数的后继数；

• 任意关于自然数的命题，如果证明：它对自然数0是真的，且假定它对自然数a为真时，可以证明对a' 也真。那么，命题对所有自然数都真。

其中，一个数的后继数指紧接在这个数后面的数，例如，0的后继数是1，1的后继数是2等等；公理5保证了数学归纳法的正确性，从而被称为归纳法原理。

若不将0视作自然数，则公理1,4,5中的“0”要换成“1”。

更正式的定义如下：

一个戴德金-皮亚诺结构为一满足下列条件的三元组（X, x, f）：

• X是一集合，x为X中一元素，f是X到自身的映射。

• x不在f的值域内。（对应上面的公理4）

• f为一单射。（对应上面的公理3）

若A为X的子集并满足：

x属于A,且若a属于A,则f（a） 亦属于A则A = X。

正式定义可以用谓词逻辑表示如下:

戴德金-皮亚诺结构可以描述为满足所有以下条件的三元组 (S, f, e)

精选推荐

01
02	数学各学科：全套高清图的获取方式
03

■ END ■

第一章A组答案：  1  |   2  |   3  |   4  |   5  |   6  |   7  |   8  |   9  |  10  |  11  |  12  |  13  |  14  |  15  |  16  |  17  |  18  |  19  |  20  |  21  |  22  |  23  |  24  |  25  |  26  |  27 |  28  |  29  |  30  |  31  |  32

第二章A组答案：1  |  2  |  3  |  4  |  5  |  6  |  7  |  8  |  9  |  10  |  11  |  12  |  13  |  14  |   15  |  16  |  17  |  18  |  19  |  20  

课后习题视频系列：  第四章A组  |  第五章A组   

高代资料系列：高代各章知识框架全解  |  数学各学科分支图解  |  高代资料书推荐  |  Eisenstein判别法的深入分析  |  整除中难题分析 |  整数的带余除法定理  |  最大公因式证明题  |  什么是高等代数

数学学科排名： 2018数学学科排名  |  2019数学学科排名  

英语：四六必过宝典 

数学兴趣：用数学公式怎样表白  |  研究生丛书（GTM） |  公式转化为LaTex代码  |  如何注册arXiv  |  MathSciNet 使用指南  |  惊呆！数学公式推导出圣诞节

数分：实数系六大定理互证(一)  |  实数系六大定理互证(二)   |   实数系六大定理互证(三)

考研系列

中南大学高代真题及答案：2012年 | 2013年 | 2014年

未经允许，禁止转载

钟哥数学博士团队介绍：      团队是由国内数学“一流学科”博士组成，接受了国内顶尖教授导师的培养，数学专业知识扎实、素质过硬，博士团队有着丰富的数学（高代、数分等）基础课程的教学经验，以及数学资料的研发与制作经验。   
    高代学习QQ交流群：945166269. 加入高代数分交流微信群请加助手微信：zhongyuemingmit

让我知道你在看