てか実数の存在を仮定しないと有理コーシー列は一般に収束しないんだから
厳密じゃないんじゃなくそもそも論理的におかしいんだよ、君の定義は