>>453
0.999…:=1⇔1.999…/2=0.999…=1⇒循環小数は有理数となり任意の数は数自体と数の小数展開とが一致する｡
アルキメデス性が認められ極限値が適用可能

0.999…:≠1⇔[1.999…/2≠0.999…]∧[1.999…/2≠1]⇒循環小数は無理数となり無理数は数自体と数の小数展開とが一致しない｡
アルキメデス性が認められ極限値が適用不可能

数学は定義だ！