19/08/18 19:06:32.78 K18skXTH.net
>>366-368
なんかまた在阪朝鮮人が発狂して無関係なコピペを始めたね
こいつ発狂せずに考えることができない精神異常者か？ｗ
無限公理もその否定も、集合論の他の公理とは無矛盾
つまり有限集合論のモデルも無限集合論のモデルも存在する
レーヴェンハイム・スコーレムの定理以前の話
「実数論の可算モデルが存在する」とかいうのは
レーヴェンハイム・スコーレムの定理の帰結だがね
（ついでにいえば集合論の可算モデルも存在する）
19/08/18 19:06:32.78 K18skXTH.net
>>366-368
なんかまた在阪朝鮮人が発狂して無関係なコピペを始めたね
こいつ発狂せずに考えることができない精神異常者か？ｗ
無限公理もその否定も、集合論の他の公理とは無矛盾
つまり有限集合論のモデルも無限集合論のモデルも存在する
レーヴェンハイム・スコーレムの定理以前の話
「実数論の可算モデルが存在する」とかいうのは
レーヴェンハイム・スコーレムの定理の帰結だがね
（ついでにいえば集合論の可算モデルも存在する）