>>486
メリットがある方を採用するのは良い。よりシンプルな議論で済む定義を
採用するのも良い。だが、

「0.999…＝1が成り立つように各種演算を適切に定義すればいい」

↑こういうゴリ押しはシンプルとは言わない。具体的にどう定義するのか
言わなければならない。そして、定義したその演算でちゃんと実数体に
なっているのか調べなければならない。デデキントの切断やコーシー列の
やつと同程度に面倒くさい。デデキントの方法もコーシー列の方法も
シンプルだと思っているなら別に構わんが。