>>44
コーシー列を使うのは位相空間論が整備されてなかったからでしょ?