超級數學(二)

首先我們通過幾條皮亞諾公理來定義自然數：

自然數的集合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的定義）

一隻手指加一隻手指等於幾多隻手指呀？
咪兩隻囉！
仲洗解釋！？
呢d係常理，唔好咁找笨啦！

By definition.

若果係二進制就不是，二進制你懂得嗎﹖