实数完备性定理问题

你先告诉我你所说是下面的哪个（2已知，关键是另一个），然后我再考虑 1.(连续性,Dedekind)实轴的切割不产生新的点。 2.(连续性,Bolzano)实数集的非空上有界子集必有上确界。 3.(连续性)单调有界数列必收敛。 4.(连续性,Cantor)闭区间套非空。 5.(紧性,Weierstrass)有界数列必有收敛子列。 6.(紧性,Heine-Borel)有界闭区间的开覆盖有有限子覆盖 7.(完备性,Cauchy)实轴上的基本序列收敛。 顺便提一句，连续性、紧性、完备性只