実数の定義に根拠はないというのが20世紀に明かにされたことでしょ