这些自然数的各种构造也没有关于 从有限到无限的过程啊 有限个自然数组成的集合有最大值，最大值也是自然数，为什么全体自然数就没有最大值了? 从有限到无限的过程中这个性质是怎么没有的?
【 在 snnn 的大作中提到: 】
: 是你没搞清楚，不是我们没搞清楚。
: Set theory和category theory 都有讲到自然数的构造。比如你要明白，所有自然组成的集合和所有大于3的自然数组成的集合其实是一个集合，它们之前存在一一对应的关系。所以不失一般性，我们选取其中的一个定义为我们平时所说的自然数集合。
:
--
FROM 223.70.210.*