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