实数理论中几个基本定理的等价性

<正> 数学分析理论的基础是实数的连续性。怎样描述实数的连续性?有的著作中把“确界存在定理”作为连续公理,导出其它基本定理;有的把“单调有界序列必有极限”作为连续性公理,导出其它基本定理;……这种从不同的连续性公理出发引出其它基本定理的顺序虽然不同,但本质是一样的。就其论证方法,一般著作都用二至三个循环论证才得到如下八个基本定理的等价性。本文从“区间套定理”出发,只用一个循环实现论证八大定理的等价性。