>>86
レーヴェンハイム?スコーレムの定理
”定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す”

いくらでも大きな有限のモデル＝無限 ってことじゃね？（＾＾
数理哲学では、可能無限と実無限を分けたりするけどね
いくらでも大きな有限のモデル＝可能無限かもなｗ（＾＾；
で、数学では、可能無限＝実無限 但し、一階述語論理で

https://math-jp.net/2017/04/23/actual-potential-infinity/
数学の星
可能無限と実無限の自然数モデル
2017年4月23日

https://math-jp.net/wp-content/uploads/2017/04/77bbcd7d61f4160a875e76329fcafedf.png
自然数モデルでの可能無限と実無限

無限の話は哲学者に任せるべきか
哲学者のほうが、もっと詳しく、深く無限について考察されています。それも、相当な歴史があります。可能無限と実無限について、その違いや混同について、そう簡単に説明できるものではない事をくどくど書いている理由はなにか。

それは、数の体系を見直すためです。哲学者も数について考えています。その歴史が今の数学で使われていますが、完成しているとは言い難い面もあります。そのなかでも、無限についての取扱は数の世界でも確立半ばといえます。