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