>>452
＞押し込むには可成り割愛せんと無理じゃろ。

「ZFCとペアノ算術PAの間の、演繹を保つ計算可能な同型の存在」
とあるように全く割愛せずに押し込める

有限主義は古代ギリシャへの懐古趣味とは言い切れない
ヴィトゲンシュタインも厳密有限主義者だった
彼は無限に対する数学の成果を「学童の喜び」と斬って捨てている
これは極端な立場ではあるが、無限を実在物と考えないなら
そういう物言いは「虚偽」だと彼の目には映ったのだろう