>>786
いや、コーシー列による有理数体Qの実数体Rへの完備化に対角線論法はいらないってこと。
瀬田君は、未だ実数論が分かっていないということ。