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

＞「有限レベル」ってのは、数学の中の有限と
＞メタの立場の有限を混同してるよ。

なるほど。メタの立場では有限だが、数学では無限だといいたいわけか？
しかし、それがいかほど根拠のあるものか。いかに学童とはいえ気づかない
わけではあるまい？

選択公理にしろ超限帰納法にしろZornの補題にしろ「有限の記述」に過ぎない。
そして、一旦そのように定義されてしまったならば、それを元にした議論は、
意図するにせよ、せざるにせよ、結局、有限の記号処理でしかない。

すなわち、全ては算術だ。