>>887
>>880だけど
いいたかったのは、例えば1+1=0みたいな論理体系とか、
そういうのではなく、という意味。
そこまで入れると確かに1=0.999……ではないかもしれんしな

だからこそこのスレは、
今一般に一番広く普及している、いわゆる数学の論理体系で1=0.999……を証明しつつ
1≠0.999……となるきちんとした論理体系を募集してるんじゃないかな？