>>226
念のため追加しておくと、"∀"を「任意」と解釈
したわけではない。「任意の式A,Bについて、A∧Bは論理式である」
とかっていう言語の定義における「任意の」という文字列、
その意味を問題にしてます。