>>76
「デテキント切断」と「コーシー列」と「単調増加数列が上限に収束する」は
皆同値だろ。どれから先に定義し始めても同じじゃないのか?