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.

 Ayrıca bakınız 
 Tutarsızlık
 Gödel'in eksiklik teoremi

Kategori:Mantık