文章与日志

函数概念要求数的集合的完备定义

1.1

确立函数与计算的具体概念之后，就要求进一步确立对于函数变量取值或计算结果具有完备的描述能力的数的集合。

后继的运算->自然数集合的公理化定义

四则运算->有理数集合的运算定义

至此所有的运算，都包含阿基米德度量性质：任何一个确定的数，使用任何一个单位e去度量它，总是可以在经过n次度量之后，得到的n*e大于该数。

因此可以把这个性质用作刻画我们所需要的数集合的一个公理：阿基米德公理。

然后使用这个公理来刻画存在于我们的直观里面的顺序的观念：在数集合的元素之间建立顺序关系，即对于任意两个不同的元素a和b，必定有，或者a大于b，或者a小于b。因为总是可以用a来度量b，或者用b来度量a。