>>523
あなたが一色単にまとめた関数記号と述語記号も結局区別せざるを得ないことを認めるわけですか?