皮亞諾公理是意大利皮亞諾所構造的算術公理系統中的公理。1889年，在數學家戴德金工作的基礎上，皮亞諾在《用一種新方法陳述的算術原理》一書中提出了一個算術公理系統，這個公理系統有九條公理，其中四條是關于“相等”的，五條是刻畫數的，并且以1而不是0作為基本概念。在后來的著作中，皮亞諾對這一算術系統作了修改，去除了關于“相等”的四條公理，并且以0取代1作為基本概念，構造了沿用至今的皮亞諾算術公理系統。
定義
目的是定義自然數集合，首先需要承認的是集合具有的一些運算性質，例如：時a,b代表的是同一個元素。
皮亞諾的這五條公理用非形式化的方法敘述如下：
??Ⅰ、0是自然數；
??Ⅱ、每一個確定的自然數a，都具有確定的后繼數a'，a'也是自然數（數a的后繼數a'就是緊接在這個數后面的整數。例如：等等。）；
可是僅有這兩個公理還不夠完整地描述自然數，因為滿足這兩條的有可能不是自然數系統。比如考慮由0, 1 構成的數字電路，其中1的后繼為0。這不符合我們對于自然數系統的期望，因為它只包含有限個數。因此，我們要對自然數結構再做一下限制：
??Ⅲ、0不是任何自然數的后繼數；
但這里面的漏洞防不勝防，此時仍不能排除如下的反例：數字系統 0, 1, 2, 3，其中3的后繼是3?？磥?，我們設置的公理還不夠嚴密，我們還得再加一條。
??Ⅳ、不同的自然數有不同的后繼數，如果自然數b、c的后繼數都是自然數a，那么；
最后，為了排除一些自然數中不應存在的數（如 0.3），同時也為了滿足一會兒制定運算規則的需要，我們加上最后一條公理。
??Ⅴ設，且滿足2個條件（i）；（ii）如果，那么。則S是包含全體自然數的集合，即。(這條公理也叫歸納公理，保證了數學歸納法的正確性)
注：歸納公理可以用來證明0是唯一不是后繼數的自然數，因為令命題為“或n為其它數的后繼數”，那么滿足歸納公設的條件。
若將只考慮正整數，則公理中的0要換成1，自然數要換成正整數。
更正式的定義
一個戴德金-皮亞諾結構為一滿足下列條件的三元組(X,x,f)：
Ⅰ、X是一集合，x為X中一元素，f是X到自身的映射；
Ⅱ、x不在f的像集內；
Ⅲ、f為一單射。
Ⅳ、若A為X的子集并滿足x屬于A,且若a屬于A, 則f(a)亦屬于A，則。
該結構與由皮亞諾公理引出的關于自然數集合的基本假設是一致的：
自然數集P不是空集；
P到P內存在直接后繼元素的雙射；
后繼元素映射像的集合是P的真子集；
若P任意子集既含有非后繼元素的元素，又有含有子集中每個元素的后繼元素，則此子集與P重合。
能用來論證許多平時常見又不知其來源的定理！
例如：其中第四個假設即為應用極其廣泛的歸納法第一原理（數學歸納法）的理論依據。
加法的定義
我們定義，加法是滿足以下兩種規則的運算：
Ⅰ、；
Ⅱ、。
有了這兩條僅依賴于“后繼”關系的加法定義，任意兩個自然數相加的結果都能確定出來了。
加法性質
（根據自然數的公理）
（根據加法定義Ⅱ）
（根據加法定義Ⅰ）
（根據自然數的公理）
結合律
證明對任意的a,下述命題成立：
?b,c，。
當時，
(加法定義Ⅰ)
(加法定義Ⅰ)，命題成立。
假設命題對a成立，則對a'：
任給b,c,有,命題也成立。
由公理Ⅴ，命題成立。由此即得結合律。
當時，，命題成立。由公理Ⅴ，即知命題對m的其他自然數取值也成立。
當 時，對于m'，,命題成立。對，，命題也成立。由公理Ⅴ，即知命題對m的其他自然數取值也成立。
（1）當時，，m=0，于是成立，即在m=0時成立；
（2）假設在時成立，即，那么當時，，，于是成立，即在時成立。由此，如果在時成立，那么在時成立；
由（1）（2）得，恒成立。
由公理Ⅴ，即知對于m的其他自然數取值也成立。
交換律
現證對任意的自然數n，下述命題為真：
?自然數m,。
當時，對于n，，對于n'，，交換律成立。
由公理Ⅴ，即知交換律對于n的其他自然數取值也成立。
乘法的定義
乘法是滿足以下兩種規則的運算：
Ⅰ?自然數m， ；
Ⅱ?自然數m，n，。
有了這兩條僅依賴于“后繼”關系的乘法定義，任意兩個自然數相乘的結果都能確定出來了。
乘法性質
乘法分配律
。
證明：
當時,，
因此乘法分配律對成立。
假設結論對n成立, 下證結論對n'成立。
(加法定義)
(乘法定義)
(歸納假設)
(加法結合律、交換律)
(乘法定義), 因此結論對n'也成立, 由數學歸納原理知, 乘法分配律成立。
乘法結合律
。
當時，(乘法定義)
(乘法定義)。
假設結論對k成立, 即。下證結論對k'成立。
(乘法定義)
(乘法定義)
(乘法分配律)
(歸納假設), 因此結論對k'也成立, 由數學歸納原理知, 乘法結合律成立。
當時，由乘法定義, 結論成立。
假設結論對n成立, 即。下證結論對n'成立。
(乘法定義)
(歸納假設)
(加法定義)
因此, , 結論對n’也成立, 由數學歸納原理知，結論成立。
當時, 由于(乘法定義)
又 (乘法定義)
(加法定義), 因此, 結論成立。
假設結論對m成立, 即. 下證結論對m'成立。
(乘法定義)
(歸納假設)
(后繼運算)
(加法運算的性質)
(乘法定義和后繼運算)
因此結論對m'也成立, 由數學歸納原理結論成立。
乘法交換律
。
當m=0時, , 結論成立。
假設結論對m成立, 即. 下證結論對m'成立。
(乘法定義)
(歸納假設)
(前文結論)
因此結論對m'也成立, 由數學歸納原理乘法交換律成立。
減法和除法
定義整數為自然數對（a,b）；定義：如果，則；定義整數加法為；定義(a,b)的相反數為（b,a）。將(a,0)和a等同。則可以證明自然數是整數的一部分，加法的定義是相符的。這樣，在整數上，我們有相反數的概念。整數和它相反數的和是0，0和任意整數的和是其自身。在整數上，定義為。可以驗證，這樣的定義與通常理解的整數加減法是一致的。
進一步定義有理數為整數對[a,b]，其中b非零。定義如果。定義有理數乘法為,定義[a,b]的倒數為[b,a]，如果a,b非零。定義有理數加法為，定義[a,b]的相反數為[-a,b]，定義為。將[a,1]和a等同，則可以證明整數是有理數的一部分，加法減法乘法的定義是相符的。這樣，在非零有理數上，我們有倒數的概念。非零有理數和它倒數的積是1，1和任意有理數的積是其自身。在有理數上，定義為，如果b非零?？梢则炞C，這樣的定義與通常理解的有理數加減乘除法是一致的。
如果大家對這方面問題感興趣的話，可以嘗試證明前文中“可以驗證”的內容，也可以看看來知道具體是怎么證明的。
實數微積分
皮亞諾公理是意大利數學家皮亞諾在 1889 年發表的。雖然描述這套公理體系的數學語言發生過不少變化，但這套體系本身始終被延用。根據這個建立在公理基礎之上的自然數體系，通過引入減法可以得到整數系，再引入除法得到有理數體系。隨后，通過計算有理數序列的極限（由數學家格奧爾格·康托爾提出）或者對有理數系進行分割（由戴德金提出）得到實數系。這一套公理化實數體系連同同時期卡爾·魏爾施特拉斯在微積分分析化過程中的貢獻（例如極限定義中的ε-δ 語言）一道，使得早已被人類應用兩百多年的微積分學能建立在一個堅實的基礎上。
代數結構
總結一下，我們的有理數和實數有加減乘除四種運算。那有沒有別的公理體系和代數系統呢？答案是肯定的。
在回答這個問題前，先來看看什么叫代數系統。首先看看，如果只有加減法會怎么樣？我們可以定義阿貝爾群為只有加減法的代數系統,這里+滿足：
1° 結合律,;
2° 零元素,;
3° 相反數，每一個元素a都有相反數，滿足;
4° 交換律，.
在尼爾斯·阿貝爾群上，可定義減法為。
下面來看一個例子，定義G為兩個元素的集合{奇數，偶數}。定義，，，。將偶數視為0，偶數的相反數為偶數，奇數的相反數為奇數。則這樣定義的加法和減法也符合加減法的基本運算規則。換句話說，我們得到了和整數不一樣的一個阿貝爾群！與之類似的，可以定義G為n個元素的集合。這樣的阿貝爾群在數學上被稱作群。群就是前文中{奇數，偶數}群，奇偶性和余數，2和其他的數字相比沒有任何特殊性。順便說一下，如果在前文中去掉公理2，而定義的后繼為0的話，就將得到群。
在阿貝爾群的定義中去掉交換律即可得到群的定義。
那如果有加減乘三種運算呢？定義交換環為,其中(G,+)為尼爾斯·阿貝爾群，滿足結合律和交換律，且有分配率：。如果去掉乘法交換律則稱為環。例如（有限小數，加法，乘法）就構成了一個交換環。
同時擁有加減乘除四種運算的代數結構稱為域。其正式的定義是，一個交換環(G,+,*)被稱為域，如果存在乘法單位元1，滿足,且除0外的所有元素a都有倒數,滿足。定義域上的除法為。
例如，{奇數，偶數}附加乘法運算：，，之后成為交換環，奇數就是乘法單位元。這被稱作二元數域。一般地，前文中所說的也可類似地構成交換環，在n為素數的情況下構成域。
同構
如果定義另一種系統，這個系統有零、一、二、三……等元素，那么會怎么樣？表面上看0和零，1和一似乎是完全不一樣的東西。但是，如果看它的本質內涵的話，0和零只是本質上一樣的東西用不同的語言描述罷了。在數學上，有理由認為本質上相同的東西是同一個東西。用專業術語來說，就是“同構”。
嚴格地，定義兩個結構同構，如果它們的元素一一對應，且滿足相同的運算。例如1和一對應，2和二對應，對應過去后寫做一加一等于二，剛好和原有的加法定義一致。
更加深奧的概念是部分同構，換句話說兩者只有在只考慮某種運算的情況下是一致的。一個例子就是半整數(0,,1,,2,,…，,-1,,-2,…)和整數。我們可以讓整數中的1看做半整數中的，整數中的n和半整數中的對應，則只考慮加法的話，這兩個尼爾斯·阿貝爾群是同構的！可以這樣通俗地理解：整數中1看做加法單位，2看做兩個單位，然后讓成為半整數單位。然而，你也許會問怎么辦？這實際上表明，半整數只能成為群，而無法成為環。它只有加法一個結構，而這個結構和整數的加法結構是一樣的。更一般地，也有一個和整數相同的加法結構。2并無特殊性。
在前文中半整數的1既可以看文字，與整數中1對應，又可以看內涵與整數2對應。這種既相同又不同的性質，同構和不同構，同一性和差異性蘊含著深厚的哲學思想。研究代數結構是否同構，共有多少種互不同構的代數結構，一直都是代數的核心任務。
參考資料 >