そもそも従属選択公理によって有理コーシー列の存在が言えるだけでは、有理コーシー列全体の集合を要する実数の構成に対し何の役にも立たない。
サルは初歩の初歩から分かってない。