形式化された無矛盾律 $\forall x, \mathrm{Fml}(x) \to \lnot(\mathrm{Pr}_T(x) \land \mathrm{Pr}_T(\mathrm{Neg}(x)))$ に関する事実とJeroslow[1973]のいくつかの事実
