Eksiksizlik
Herhangi bir cümle kümesi, dilinin oluşturabildiği her cümle (P) için, P ya da P'nin mantıksal tersini ispatlayabiliyorsa eksiksizdir. Aynı şekilde herhangi bir kuram, P ya da P'nin tersini içinde barındırıyorsa eksiksizdir. Tutarsızlık Gödel'in Eksiklik Teoremi
Kategori:Mantık.