数学では、よく「矛盾」ということが言われる。矛盾とは、正命題も否定命題も「証明できてしまう」現象である。これができてしまうと、なにが問題かというと、「あらゆる命題が証明できる」ことが「証明できる」ことが分かってしまうので 無意味な論理体系 …