>>787
有理コーシー列全体の集合X上に、an〜bn⇔lim[n→∞](an-bn)=0 で同値関係〜を定義したとき、X/〜が完備であることは整列定理無しで示される。
なんで整列定理が必要と思ったの？