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.
İlgili bağlantılar
This article is issued from Vikipedi - version of the 8/14/2010. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.