1樓：長巷裡
皮亞諾公理
皮亞諾公理，也稱皮亞諾公設，是數學家皮亞諾(皮阿羅)提出的關於自然數的五條公理系統。根據這五條公理可以建立起一階算術系統，也稱皮亞諾算術系統。 皮亞諾的這五條公理用非形式化的方法敘述如下：
①1是自然數； ②每一個確定的自然數a，都有一個確定的後繼數a' ，a' 也是自然數（一個數的後繼數就是緊接在這個數後面的數，例如，1的後繼數是2，2的後繼數是3等等）； ③如果b、c都是自然數a的後繼數，那麼b=c； ④1不是任何自然數的後繼數； ⑤任意關於自然數的命題，如果證明了它對自然數1是對的，又假定它對自然數n為真時，可以證明它對n' 也真，那麼，命題對所有自然數都真。（這條公理也叫歸納公設，保證了數學歸納法的正確性） 注：歸納公設可以用來證明1是唯一不是後繼數的自然數，因為令命題為「n=1或n為其它數的後繼數」，那麼滿足歸納公設的條件。
若將0也視作自然數，則公理中的1要換成0。
編輯本段更正式的定義
一個戴德金-皮亞諾結構為一滿足下列條件的三元組(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+1=2 1+2=3.......後為了加強理論基礎而設立的一個理論，這就成了自然數相加的理論基礎
望採納~
2樓：
這個已經有人證明了，你記住就行了，就像牛頓定律，沒必要去證明，記住會用就好，
3樓：諸and侯
你不用證明。當初有個數學家用了很久才證明出來，**打了十幾頁，有興趣你可以翻出來看看。
4樓：14生工任佳
給你一個糖，再給你一個糖，一共倆糖
5樓：栩翽
因為1=1，2=2，1+1=2，所以1+1=2
6樓：匿名使用者
已知1=1
所以1+1=2
形容很不好意思的成語有哪些形容不好意思的成語有哪些？
當之有愧 慚鳧企鶴 愧天怍人 自慚形穢 自愧不如 包羞忍恥 面紅耳赤 汗顏無地 老羞成怒 無地自容 靦顏人世 叨在知己。1.當之有愧 d ng zh y u ku 釋義 當 承受 愧 慚愧。承受某種榮譽或稱號與事實不相符，感到慚愧。常作自謙之詞。2.自慚形穢 z c n x ng hu 釋義 形穢 ...
剛暗戀就被發現了，覺得不好意思，挺尷尬的，總想躲避？
剛暗戀就被發現了，覺得不好，意思挺尷尬的，其實這個時候不用躲避也不用尷尬，敢愛敢恨才是年輕人應該做的，可能你的敢愛會讓對方很感動，對方也愛你了。剛剛暗戀就被發現了，那有什麼不好意思的呢，喜歡就大膽說出來，別總是不行動讓別人搶了先。正好你喜歡的人也發現了，就跟他 她 表白，如果他 她 恰巧對你也有意思...
不好意思，關於這樣子的詞語還有嗎
要多少個？相稱 事物配合起來顯得合適。相干 互相關連或牽涉 有關連。相互 兩相對待的 互相。相識 彼此認識。相識的人。相信 認為正確或確實而不懷疑。相勸 1.互相勉勵。2.勸解 勸告。相中 看中意。相助 互助 相關 1.彼此關連 互相牽涉。2.互相關心。相親 互相親愛 相親近。相愛 互相親愛 友好。...