有理数からなるコーシー列の同値類として定義されたものを
実数と呼ぶことにし
実数のコーシー列を定義しておくと
実数の集合の完備性が証明できる
そのうえで
有理数をそれで代表される同値類と同一視した時に
有理コーシー列が実数に収束するというのは
循環論法ではない