自然数无穷序列的两相性

jzkyllcjl

在叙述自然数皮亚诺公理体系之前，也不能像文献[6][8]那样，事先承认有一种无穷集合的存在。而应当在古代劳动人民已经建立的十进位自然数记数法则的基础之上去阐述所需要的自然数公理。
定义7 (自然数的标准数列)  根据阿拉伯人提出的自然数记数法则，将自然数按照“从小到大”的顺序排列，得到的无穷数列
0，1，2，3，…， 11，…，n，n+1，…           (1)
叫做自然数的标准无穷数列。
关于这个无穷数列的提出和认识，需要知道：一方面可以提出：“在时间无限延续的条件下，自然数可以无限延续下去的假设、想象”（这个假设也是许多学者同意的，所以也可以叫做公设），但另一方面又需要知道“在任何有限时间内这个无限延续的工作都不能被完成，能够被完成自然数数列只能是有限项的自然数数列”；笔者称这两个性质是自然数标准数列的两相性。这两个方面并不矛盾，因为前者是在时间无限的条件下提出的，后者是对有限时间讲的。这两个认识，就是：“既要有发展的理想，又要尊重现实”的对立统一观点。这个两相性说明：虽然可以说自然数无穷多的，但人们只能写出有限个自然数；而且能写出的自然数都是有限自然数。由于，自然数标准无穷数列具有永远写不到底的性质，表达式（1）以及其它无穷数列中的省略号不仅有省略的意义，还具有永远写不到底、写不完毕的意义。