矛盾が証明されないことを証明することは出来ない
$ \lnot\Box\lnot\Box\bot