>>18
>無限集合でしか成り立たない項目を挙げて
>「これは、有限集合では成り立たない」
>そういう主張は無意味ですよ

無限集合でしか成り立たない項目があることを認めましたね
「無限のモデルを持つ理論はいくらでも大きな有限のモデルを持たねばならない」
は、レーヴェンハイム・スコーレム定理でもなんでもないただの誤りだと認めましたね

無限集合でしか成り立たないなら、その有限モデルは存在しません