✔ 最佳答案
首先我們通過幾條皮亞諾公理來定義自然數:
自然數的集合N是符合以下幾條公理的最小的集合:
第一條:1屬於N。
第二條:如果X屬於N,那麼X的「後繼者」X'也屬於N。
第三條:不存在後繼者為1的自然數。
第四條:如果X不是1,那麼一定有一個自然數Y令到Y'=X。
然後我們定義加法:
設有兩個自然數A和B。如果B=1,那麼A+B定義為A'(第一和第二條)。如果B不是1,那麼找一個自然數C令到C'=B(第四條),然後把A+B定義為(A+C)'。
然後我們定義2:
2=1'
根據第一和第二條,2屬於自然數。
1+1=2的證明:
1+1
=1'(加法定義的前半部)
=2(2的定義)