Bolzano-Weierstrass theorem

实分析中的基本定理，断言实数集中任何有界无限序列都含有收敛子列，其成立依赖于实数的完备性。