直観論理なども含めた古典論理では、矛盾からはあらゆることが導かれる。