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

自然数集的定义

---

皮亚诺公理

1891年，意大利数学家皮亚诺公开发表了基于序数的自然数定义公理。这组公理包括：

1. 0是自然数；
2. 每个自然数$n$都有一个后继，这个后继也是一个自然数，记为$S(n)$；
3. 两个自然数相等当且仅当它们有相同的后继，即$m=n$当且仅当$S(m)=S(n)$；
4. 没有任何自然数的后继是0；
5. （归纳公理）若$\varphi$是关于一个自然数的预测，如果$\varphi(0)$为真并且当$\varphi(n)$为真，则有$\varphi(S(n))$为真，则$\varphi(n)$对任意自然数$n$都成立。

冯诺依曼的自然数定义

20世纪初，集合成为数学的基本概念之后，数学奇才，计算机之父冯诺依曼基于基数，利用一个集合的序列来定义自然数：

1. $\emptyset\in N$
2. 若$n\in N$，则$n^\prime\equiv n\cup\{n\}\in N$。

从而，这个集合序列的基数就可以来定义自然数：

• $0\equiv|\emptyset|$；
• $1\equiv|\emptyset\cup\{\emptyset\}|=|\{\emptyset\}|$；
• 2≡|{ ∅