>>879
＞実数の連続性と同値な命題が多数あること知らんの？
＞同値なんだからいずれを定義にしてもいいんだよ　
＞いずれかひとつを定義にすれば他は定理　分かる？

しかしながら、その心は
「コーシー列が収束列となるような完備化」
である

列をフィルターに置き換えたところでやはり同じこと