1、概念：子列，上、下确界，区间套，区间覆盖；
2、关于实数的基本定理：六个等价定理（确界存在定理、单调有界定理、区间套定理、致密性定理、柯西收敛原理、有限覆盖定理）；
3、闭区间上连续函数性质的证明：有界性定理的证明，值性定理的证明，零点存在定理的证明，反函数连续性定理的证明；一致连续性定理的证明。
