無矛盾
ゲーデルの不完全性定理は、ロビンソン算術 Q の再帰的拡大(またはRE拡大)である理論 T がω無矛盾(または無矛盾)であるとき、
T ⊬ Con  ( T ) {\displaystyle T\nvdash \operatorname {Con} (T)}
である、すなわち理論自身では自身の無矛盾性を証明できないことを述べている。