>>280
そこがさ、俺と280の立場を大きく変えてる部分なんだよな。
正しいと思ったものは、矛盾が見つかるまでは無批判で使用する280と、
正しいと思ったものも、証明されるまでは使用しない俺。

もし四則演算に矛盾がないなら、
１／３＝０．３３３・・・を両辺三倍するだけで、証明が完結する。
非常に簡単な問題なわけだ。

しかし「超準実数体」における定義では
１≠０．９９９・・・は一致しないことになる。
すなわち、超準実数体を実数の定義とした場合は
四則演算は矛盾することになるわけだ。
そのへんは、どうするの？