辞書的に使っている『情報科学における論理』を調べてみたら、「極大無矛盾」の定義に関して、僕が誤解していたようだ。（誤解していたのではなくて、用語法が2種類以上あるのかもしれない。）まず、矛盾（無矛盾）の用法を並べる： 公理系Aが矛盾する：A|- …