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. Eksiksizlik Gödel'in Eksiklik Teoremi
Kategori:Mantık kavramları.