形式化された無矛盾律
Formalized Law of Noncontradiction
$ \mathrm{FLoN}_T \equiv \forall x. \lnot(\mathrm{Pr}_T(x) \land \mathrm{Rf}_T(x))
#無矛盾性を表す文
無矛盾律
を形式化したもの．
Jeroslowの第2不完全性定理
R. G. Jeroslow; "Redundancies in the Hilbert–Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem"
ではQ-conと呼ばれている．