・命題Ｐとその否定¬Ｐの両方が証明できてしまうことを「矛盾」という。
・少なくともＰと¬Ｐのどちらか一方しか証明できないことを「無矛盾」という。
平たくいうと、０＝１みたいな間違った式が導かれる事はない、ということ。