如何证明数学等式 1 + 1 = 2 的成立？ – 知乎

這裡對 陳浩 的答案作補充，在定義完加法後要證明一個定理，即下文截圖的定理3，說明加法是 well-defined,well-defined的含義是指確實存在一個函數＋滿足（＊）式，若沒有此定理，1＋1這樣的式子的含義就會不明確，所以在證1＋1＝2以前必須先證此定理，很明顯這個定理的證明要比1＋1＝2的證明要難 …