>>460
じゃ、君なりに修正して。
ちなみに、「完備アルキメデス順序体が同型を除いて一意に存在する事の事」とは違うぞ。
「１≠０．９９９９…」派全てが普通の実数でこれが成立する話だとは思っていないだろう。

実数がどのような定義であっても、そこに矛盾が発生しない限り、その定義が正しいか
正しくないかってのは数学基礎論の結果により証明できない…ってのがＡ４