第2章-從頭開始：自然數 2.1-Peano 公理

一些定義 數零~0 增長運算，n++代表 n 的後繼 1是數0++，2是數（0++）++，3是數（（0++）++）++，… 1 = 0++，2 = 1++，3 = 2++，… 自然數集 N 由 0 和每個可由 0 經增長而得到的所組成的 公理內容 圖片中分別爲公理2.1~2.5 公理2.3是爲了避免「迴歸事件（循環）」 公理2.4解決了增長髮生迴歸但不迴歸到0的異常情況 公理2.5 數學歸納原理

>>阅读原文<<