>「実数を定義するために実数を定義する」
>となる訳だが

「有理コーシー列の収束先」
というものに意味を持たせるために
「新たに」実数というものを定義する。