实数系的完备性

从这里开始，"显然"不再够用，你必须说清依据。

为什么单调有界数列必有极限？为什么闭区间上连续的函数一定有零点？