@kururu_goedel: @zhanpon ぶっちゃけて言うと、集合論に応用する程度の話に重点がきていて、数理論理学を突き詰める方には向いていないってことです。例えば、命題論理の推論規則をきちんと書かずに、「すべてのトートロジー」とかを使うのは、非古典論理に…