>>9
定義だから無矛盾と言うのも、数学の拡張性をなくすと思うのだが？
その定義って言うのは、
無限に演算を続ければ、余りはなくなるって言う事を定義しているの？

>>14
limを外した時に、(n　->　∞）Σ　[1,　ｎ]（1−（1/10）^k) は
(n　->　∞）Σ　[1,　ｎ]（1−（1/10）^k) →１と言う意味合いしかなく、
矢印の意味合いは、限りなく近づくという意味でしかないだろう。