利用确界原理构造一个新的实数系统,证明这个系统满足实数连续性公理,并与Dedekind实数系统等价。
Via supremum axiom a new real number system is constructed in this paper , then it is proved that the axiom of continuity holds in this system and it is order isomorphic with Dedekind 's real number system .