【离散数学】1.5可数集合与不可数集合

自然数集的定义 皮亚诺公理 1891年，意大利数学家皮亚诺公开发表了基于序数的自然数定义公理。这组公理包括： 0是自然数； 每个自然数 n 都有一个后继，这个后继也是一个自然数，记为 S(n) ； 两个自然数相等当且仅当它们有相同的后继，即 m=n 当且仅当 S(m)=S(n) ； 没有任何自然数的后继是0； （归纳公理）若 φ 是关于一个自然数的预测，如果 φ(0) 为真并且当 φ(n) 为真，

>>阅读原文<<