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.

 Ayrıca bakınız 
 Eksiksizlik
 Gödel'in eksiklik teoremi

Kategori:Mantık kavramları