>「実数」と「有理コーシー列の収束先」の定義が循環してると言ってるのだが
実数の定義は何通りかある。
どれをとってもそれらは有理コーシー列の収束先となる。
これのどこが循環している？