19/08/20 14:20:12.42 QrfRlMB6.net
>>515
>一階述語論理で無限公理なしでも、”無限のモデル”は可能だが、表現できないあるいは識別できない？
これが、可能無限かも
>二階述語論理で、しっかり無限集合を証明するためには、無限公理がいるってことかいな？ （＾＾；
これが、実無限かも
可能無限、実無限とも
数学の用語ではなく
哲学用語だけれども
人が、
「無限」をしっかり理解するためには、
こういう話も必要だという気がするんだ（＾＾；
19/08/20 14:20:12.42 QrfRlMB6.net
>>515
>一階述語論理で無限公理なしでも、”無限のモデル”は可能だが、表現できないあるいは識別できない？
これが、可能無限かも
>二階述語論理で、しっかり無限集合を証明するためには、無限公理がいるってことかいな？ （＾＾；
これが、実無限かも
可能無限、実無限とも
数学の用語ではなく
哲学用語だけれども
人が、
「無限」をしっかり理解するためには、
こういう話も必要だという気がするんだ（＾＾；