>401
直観論理みたいに¬A∨Aが成立しないのもあるけどね。

あと、>328からさんざん話の出てきていることだけど、
論理式の全体を下記で定義できないとする理由は何？

　記号列∧記号列が論理式の生成ルールに従っている
　⇔論理式に属する

そんなものを（集合でもクラスでもドメインでも何でも）
定義したら論理が破綻するというのなら証明を示してくれよ。