İçeriğe atla

Eksiksizlik

Vikipedi, özgür ansiklopedi
06.58, 14 Ağustos 2010 tarihinde Khutuck Bot (mesaj | katkılar) tarafından oluşturulmuş 8029248 numaralı sürüm (Bot: Kozmetik değişiklikler)

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