>>277
>「仮に収束するとしたら、同じところに収束するであろう列」
そんな「仮」は要らないけどね。
有理コーシー列全体の集合をXと書くと、∀an∈X.∀bn∈X(an〜bn⇔lim[n→∞](an-bn)=0)。
つまり二つの有理コーシー列an,bnの差an-bnも有理コーシー列であって、それが有理数0に収束するときそのときに限りan〜bn、という〜の定義だが、この定義に「仮」はまったく不要。