１≠0.999… をいつまでも主張する連中は、別の体系で主張しているわけではない。
あくまで実数体において １≠0.999… を主張しているようなので（おろか者ではあるが）
実数体または実数体の拡大体で １≠0.999… を示す証明でなければ意味がない。