The equivalence on the theorems of the real-number system

• 实数系基本定理的等价性