>>408
別に前者でも後者でも、どっちでもいいよ。俺は後者の話にも触れたつもりだったが、
「このスレは前者の話題のみです」って言ってるように見えたかもな。すまん。

でも、後者の話題をするにしても、やっぱりアデール君の話はズレちゃうんだよね。
アデール君によれば、"0.999…≠1" が成り立つ体系はたくさんあると。
その一例として、7-進数があると。7-進数において、"0.999…" に対応するのは
0.666… であり、7-進数において 0.666…＝−7≠1 であるから、確かに
"0.999…≠1" に相当する式が成り立っていると。これがアデール君の解釈ね。
確かにそういう解釈も出来るけど、でも、これはいわゆる

「 "0.999…≠1" が成り立つ体系を考えて遊ぶ 」

という行為からは、何かこう、ズレてるよね。7-進数を持ち出すなら、7-進数であるにも関わらず

0.666…≠−7

が成り立つようにして遊ぶのが本筋だよね。もちろん、そのままの7-進数じゃ「≠」には出来ない。
だから、リッチマンみたいに、7-進数から「減法」を削除してみるとか、あるいは
「無限二色ハッケンブッシュゲーム」みたいな風変わりな解釈を考えてみるとか、
そうやって「7-進数モドキ」な体系を作れば、そこでは「0.666…≠−7」が
成り立っていてもおかしくないよね。そういう "遊び方" だよね、>>408の後者はね。
でも、アデール君は明らかにこういう "遊び" には興味が無いｗ

だから、>>408の前者の話題にせよ後者の話題にせよ、アデール君が話したいことは
このスレでは あまり伝わらないと思うんだよね。