Tutarsızlık

Herhangi bir cümle kümesi, herhangi bir cümle (P) için, hem P'yi hem de P'nin mantıksal tersini ispatlayabiliyorsa tutarsızdır.
Aynı şekilde herhangi bir kuram, herhangi bir cümle (P) için, hem P'yi hem de P'nin tersini içinde barındırıyorsa tutarsızdır.

İlgili bağlantılar 
 Eksiksizlik
 Gödel'in Eksiklik Teoremi

Mantık