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.