From the definition of real number, deduces each basic theory successively, thus proving the equivalence.

• 从实数定义出发,依次推出各基本定理,从而证明其等价性。