皮亚诺公理）。然后由此定义出全体整数（添加负数）构成的代数环及其代数运算结构。然后有分式（商运算）定义出全体有理数代数域机器拓扑结构（及由此产生的极限运算）。最后再利用柯西序列性质添加无理数，把所有”漏洞“补上。

听起来很简单，实际过程很复杂繁琐。没有数学系拓扑/泛函和抽象代数基础的人无法理解。