在一个保持运算和序的双射。确切地说存在formula_56满足
模型的具体构造.
柯西序列.首先我们需要一个定义。设formula_64是一个有理数列，如果对于任何正有理数formula_65，存在一个正整数formula_66使得对于所有的整数formula_67，都有formula_68，则称formula_64为有理数的柯西序列。有理数集formula_49配备上度量formula_71（即一般的绝对值）后便是一个度量空间。而透过一个叫作完备化的过