爆発律
矛盾からは何でも導ける
ある命題
$ A
について
$ A
かつ
$ \lnot A
なら，任意の命題
$ B
が成り立つ．
認めないぞという立場
矛盾許容論理