質問: 極限を示すのにεδ論法が必要です。 また、実数を定義するには有理数の極限値を考えなければならない。 しかし、εδ論法では任意の正の実数εを用いています。
回答: おそらく有理数からなるコーシー列の全体のなす集合に、 同値関係を入れて、実数を構成する方法のことを言っているのだと思います。 例えば、 のP23には、εは、有理数であると書かれていますよ。 なので、循環論法になる心配はありません。