>>753
>まあ、そういうことでしょうけど
>それは∀ｎ．0.999…=1-1/10^n　とはいわんよね
>せいぜい∃ｎ．0.999…=1-1/10^n　だけど
正確には 0.999…∈{1-1/10^n|n∈N} ですね。
どの元かは不定だそうです。