>>830
＞「∃a∈A⇒∃∈B ∩ ∃b∈B⇒∃a∈A」に過ぎないことを理解出来ないんだろうなwwww

ぜんぜん違いますけど。

「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」

ってのは、キミのA,B表記に従えば

[ ∀x [ x∈A → x∈B ] ] ∧ [ ∀x [ x∈B → x∈A ] ]

ということだよ。これはどう見ても「無関係」とは言わないよね。
あ、もちろん一階述語論理での話ね。
ゲーデルの完全性定理は一階述語論理での話だからね。