【離散數學】1.5可數集合與不可數集合

自然數集的定義 皮亞諾公理 1891年，意大利數學家皮亞諾公開發表了基於序數的自然數定義公理。這組公理包括： 0是自然數； 每個自然數 n 都有一個後繼，這個後繼也是一個自然數，記爲 S(n) ； 兩個自然數相等當且僅當它們有相同的後繼，即 m=n 當且僅當 S(m)=S(n) ； 沒有任何自然數的後繼是0； （歸納公理）若 φ 是關於一個自然數的預測，如果 φ(0) 爲真並且當 φ(n) 爲真，

>>阅读原文<<