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