>>581-587
>>任意実数は 有理数からなる コーシー列の収束先として定義できる
>特に変ではないと思うが
>君の持論「「実数を有理コーシー列の収束先として定義する」に意味を持たせるために実数を定義する」
>を要約すると
>「実数を定義するために実数を定義する」
>となる訳だが、いつになったら実数が定義できんの?

なんか勘違いしている人がいる
多分 ID:40u3serF は、御大(OT)だよ

プロ数学者に インネンつけるバカがいるw ;p)
しかも、そのプロ数学者は、東大に入学して

ワープしてまた京大入学して 二つ目の教養課程を取った 三四郎を読む教養人だよ
その上、囲碁7段格です(ここが一番重要かもしれんww ;p)

”君の持論”とか
勘違いでしょ? プロ数学者相手にw