解決はしてるけど、今から150年前くらいにやっとだからね。
まあそれだけ無限の扱いは難しいって事だ。