皮亚诺公理
公理系統
(重定向自皮阿诺公理)
皮亚诺公理(英語:Peano axioms;義大利語:Assiomi di Peano),也称皮亚诺公设,是意大利数学家朱塞佩·皮亚诺提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统,也称皮亚诺算术系统。[1]
内容编辑
皮亚诺的这五条公理用非形式化方法叙述如下:
- 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)
皮亚诺算术编辑
皮亚诺算术(PA)的公理:
- 。
- 。
- ,对于在 PA 的语言中的任何公式 。
- 。
- 。
- 。
- 。
参见编辑
参考资料编辑
- ^ Giuseppe Peano. Arithmetices principia: nova methodo. Harvard University. 1889.
延伸阅读编辑
- Buss, Samuel R. Chapter II: First-Order Proof Theory of Arithmetic. Buss, Samuel R. (编). Handbook of Proof Theory. New York: Elsevier Science. 1998. ISBN 9780444898401.
- Mendelson, Elliott. Introduction to Mathematical Logic (Discrete Mathematics and Its Applications) 6th. Chapman and Hall/CRC. June 2015. ISBN 9781482237726. 已忽略未知参数
|orig-date=
(帮助)
- Smullyan, Raymond M. The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs. Dover Publications. December 2013. ISBN 978-0-486-49705-1.
- Takeuti, Gaisi. Proof theory Second. Mineola, New York. 2013. ISBN 978-0486490731.
外部链接编辑
- Murzi, Mauro. Henri Poincaré. 《互联网哲学百科全书》. Includes a discussion of Poincaré's critique of the Peano's axioms.
- Podnieks, Karlis. 3. First Order Arithmetic. What is Mathematics: Gödel's Theorem and Around. 2015-01-25: 93–121 [2022-12-29]. (原始内容存档于2023-03-26).
- Hazewinkel, Michiel (编), Peano axioms, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
- 埃里克·韦斯坦因. Peano's Axioms. MathWorld.
- Burris, Stanley N. What are numbers, and what is their meaning?: Dedekind. 2001 [2022-12-29]. (原始内容存档于2022-10-26). Commentary on Dedekind's work.
本條目含有来自PlanetMath《PA》的內容,版权遵守知识共享协议:署名-相同方式共享协议。
🔥 Top keywords: Baike: 首页Special:搜索胖猫跳江事件背着善宰跑九龍城寨之圍城逆天奇案2璩静淚之女王歌手2024Energy (組合)新生 (网络剧)习近平匈牙利邊佑錫劉俊謙 (香港)金智媛神耆小子塞尔维亚金秀賢 (男演員)母亲节猩球崛起:王國誕生九龍寨城馴鹿寶貝家族榮耀之繼承者Seventeen (組合)六四事件不夠善良的我們张维为楊佩潔TripleS支配物种庆余年郭葦昀洪若潭命案金惠奫2024年英雄联盟季中邀请赛春色寄情人BABYMONSTER笑看風雲乘風2024排球少年!!角色列表破墓徐巧芯中华人民共和国中華民國打天下2WIND BREAKER—防風少年—习明泽排球少年!!彭丽媛磁暴ILLIT贾斯汀·比伯逆天奇案BOYNEXTDOOR猿人爭霸戰:猩凶革命張書偉我的婆婆怎麼那麼可愛我獨自升級怪獸8號謝坤達IVE (組合)與鳳行關於我轉生變成史萊姆這檔事角色列表黃道十二宮福建號航空母艦虽然不是英雄葉乃文五月天張員瑛草榴社区張文傑2024年花蓮地震极光香緹·摩爾迷宮飯呂家愷搜查班長1958日本劉德華海莉·鮑德溫蕭景鴻越位 (足球)葬送的芙莉蓮周處除三害 (電影)毛泽东願榮光歸香港林峯周雨彤伍允龍羅毓儀香港Baike: 分類索引沒有秘密猩球崛起:終極決戰角質層唐振剛柯佳嬿文化大革命