>>487
既出の本だな、上でこき下ろされた。

1と0.999…を＝とするか、≠とするかの差違だ。

標準の1＝0.999…公理系を用いるか、1≠0.999公理系…を用いるかは、適宜採用とする事にして、
もし1≠0.999…公理系を用いるなら、
旦那にも1≠0.999…公理系の一例を。
つ>>426