>>420
そう、無限大をどう考えるかの議論だとは思う。
しかし、１＞0.9999…と考える人には、無限大の世界は不要なのでは？

＞普通は、点を無限に一直線に集めると直線とか面とかになるなあ。
０×∞が、無限の長さを持つ線になる事の証明の方が大変では？
多分、無限小の世界では、点は、長さを持つとした方が簡単と思う。

それよりは単位長さの概念で、線は、
微少な線分の集まりだとした方がもっと簡単なのでは。