Herhangi bir Cümle (Mantık)|cümle Küme|kümesi, dilinin oluşturabildiği her cümle (P) için, P ya da P`nin mantıksal tersini ispatlayabiliyorsa eksiksizdir.
...
H erhangi bir cümlekü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==
Bu makale, online kullanıcı topluluğu tarafından oluşturulan ve düzenlenen özgür ansiklopedi projesi Wikipedia'nın Türkçe versiyonu Vikipedi'deki Eksiksizlik maddesinden kopyalanmıştır. Bu makale, GNU Özgür Belgeleme Lisansı ilkeleri kapsamında özgürce kullanılabilir.