>>765
モデルの中で可算集合を取ってそこから
考えられる論理式（可算個しかない）を
成立させる元をちょっとづつ追加ていくだけだからでしょ？
論理式の変数が有限個しかないから上手く行くのかな？
キミが面倒くさいというのは
・罵倒を用いる（笑）
・出来ないことをやってないという（数えたの？とか）
・ひろゆき式の指摘で矮小化
・幼稚な用語で批判（マウントワード・焼かれる）
・自分の立場での解釈への固執
・都合良く改竄
・説明しないで説明させる（これってマウント？）
こんなところかなあ