ここに来て0.999…≠1を主張する奴の大半は、「そういう体系も作れる」と
言っているのではなく、「0.999…＝1は間違っている。ありえない。」と言う。

従って、そういう奴は必然的に大学以降の数学を知らず、
高々 高校までの知識しかない。
従って、そういう奴が主張する「0.999…≠1」なる体系には、
通常の順序と両立する辞書式順序が入っていることになる。
彼らの話を聞いても、そのことが容易に推測される。

だが、そいういう定義は不可能である。

だからここで話題になっている。
「どうやってそのような定義を可能にするのか」と。
それだけの話である。そこに

「Qpなら0.999…≠1にできる」
「実数体しか見ないのは視点が偏っている。モッタイナイ」

というたぐいの応答は全くもって的外れである。