是你没搞清楚，不是我们没搞清楚。
Set theory和category theory 都有讲到自然数的构造。比如你要明白，所有自然组成的集合和所有大于3的自然数组成的集合其实是一个集合，它们之前存在一一对应的关系。所以不失一般性，我们选取其中的一个定义为我们平时所说的自然数集合。

【 在 niceboy086 的大作中提到: 】
: 这个是不是说 从有限到无限之间我们没有搞清楚啊? 其实我们还是在有限这个范围内活动，点到线之间、线到面之间、面到立体之间到底是个什么样子 我们并没有刻画出来
--
FROM 73.241.191.*