そもそも”述語論理”って単語を知らない人たちの議論ですか?