無矛盾性
公理系，あるいは単に体系の無矛盾性とは，
ある体系に，
$ A
と
$ \lnot A
の両方が証明できるような論理式
$ A
を持たないことを意味する．
Gödelの第1不完全性定理
Gödel-Rosserの第1不完全性定理