|
首先,N 是全体自然数的集合。自然数由皮亚诺公理刻划,N 的存在性由无穷公理表述。
这么说很抽象,貌似很深奥,其实就像几何公理一样,专进去很深,但从事几何只要接
受几何公理就行。同样地,从事算术,只要接受集合论以及有关公理即可。皮亚诺公理,
无穷公理, 只是人们对自然数的朴素认识的理论概括和严格化而已。
算术,几何公理都是建筑在实无穷基础上的。实无穷是且只是非有限集合的共性。具体
到自然数, 它是指集合 N 有无穷多元素(即自然数无穷多), N 含有每个自然数且只含有自
然数. 所以 N 是既定的, 不随时间而变. 实无穷是观念的存在, 不以人的实践(例如书写和
枚举)的有限性而转移. 所谓集合, 说白了就是外延确定不变,逻辑自洽的概念。
实践不能遍历无穷集合不等于数学一概不能遍历无穷集合。命题“[0,1]关于乘法封闭"的
证明就是对实无穷 [0,1] 的一种逻辑或数学意义上的遍历。
自然数不依赖计数法,对自然数的表达依赖于计数法。自然数概念是人类对离散事物量的属性的认识和概括,人可以命名自然数,创造其的表示法,却不是自然数的创造者。 jzkyllcjl 正是由于其腐败的数学观,才炼成老学渣的。 |
|