実数は有理数のコーシー列の同値類として定義することができますけど、これは認めるんですか？
構成的ですから、有限の立場であるあなたも認めざるを得ないはずですけど