>>889

＞いいたかったのは、例えば1+1=0みたいな論理体系とか、
＞そういうのではなく、という意味。

そりゃ単に標数2ってだけで、全然普通ですって。

＞だからこそこのスレは、
＞今一般に一番広く普及している、いわゆる数学の論理体系で1=0.999……を証明しつつ

いわゆる数学の論理体系ねえ。

＞1≠0.999……となるきちんとした論理体系を募集してるんじゃないかな？

だから、アルキメデス的ではない局所体なら、全く通常の数学の範囲内でそうなりますって。