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 Küme, nesneler topluluğu anlamına gelir Matematiğin en temel ve önemli kavramlarından biridir

kuram, P ya da P`nin tersini içinde barındırıyorsa eksiksizdir

==İlgili bağlantılar== TutarsızlıkHerhangi bir Cümle (Mantık)cümle Kümekümesi, herhangi bir cümle (P) için, hem P`yi hem de P`nin mantıksal tersini ispatlayabiliyorsa tutarsızdır

Gödel`in Eksiklik Teoremi

felsefe-taslak


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