>>547

可能無限と実無限の区別より、計算可能性の問題のほうが重要。
どうせ問題を掘り下げるなら、そこまで考えたほうが面白い。