無限に付いて語る。実無限VS可能無限

>>138

あはは、よくわかったね（笑）

でも、実無限を認めないとして、そんなに変わるかな？
実際「在る」といっているのは、εーδに従う「手続き」
だよね。で、二つの異なる手続きが同じ数を表すかどうか
判定することは、一般には可能ではない。すなわち実無限
は実際の数学のレベルではすでに絵に描いた餅になって
しまっているんだ。