>>83　(1)(2)は成立するところがポイントである(あまり変な体系にしなければ成立する)。

「仮に 0.999…≠1 であろうとも、」って0.999…が何であるか定義せずにどう考えろってんだ？