>任意実数は 有理数からなる コーシー列の収束先として定義できる
特に変ではないと思うが