>>418

＞長さにも分割不可能な長さがあって、１と0.9999…は同値となる。

　というか…そもそも 0.9999…が定義できないのかもしれないな。

＞数直線は点の集合体である？で良かったのかな？
＞点は長さを持たない。点をいくら集めても、長さも面積も持たない。

　普通は、点を無限に一直線に集めると直線とか面とかになるなあ。
無限に…ってトコが大切ね。

＞要は、点の集合を線と表現して良い様な世界ならば、１＞0.9999…、
＞点と線を区別する世界であれば、１＝0.9999…、

　どうしてこんな結果に…。
でも、幾つかのモデルを考えているのは、背景に絶対真理みたいなのを想定して
いない証拠なので喜ばしいですな。