ボルツァーノ・ワイエルシュトラスの定理 あいだBy gleamath 区間縮小法 と アルキメデスの公理 を仮定して，次の定理を証明する． 定理（Bolzano-Weierstrass）． 有界な数列は， 収束する部分列をもつ． PDF この記事は， [黒田2018] を参考にさせていただいています．
