成的，而多数的模型的建立都是借助于有理数域。
基本方法.一个实数系统由一个集合formula_1，formula_1当中的两个不同元素 0 和 1 ，formula_1上的两种二元运算 formula_4 （分别叫做"加法"与"乘法"），以及formula_1上的一个二元关系formula_6（即序关系）构成。而且这个模型符合以下性质：有理数域 formula_49符合前三条公理，也就是说formula_49是一个有序域（同时formula_49还满足阿基米德性，所以form