كتب link complete
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
الارتباط بالاكتمال (معلومة)
إن عكس خاصية السلامة هي خاصية الاكتمال. فيكون نظام الاستنباط ذو النظرية الدلالية كاملاً بثبات إذا كانت كل جملة P التي هي قضية شرطية لمجموعة من الجمل Γ يمكن اشتقاقها في نظام الاستنباط من تلك المجموعة. باستخدام الرموز : عندما تكون Γ ⊨ P, فإن أيضًا Γ ⊢ P. إن اكتمال منطق الرتبة الأولى كان أول من وضعها بوضوح هو غودل، رغم أن بعض النتائج الأساسية كانت مذكورة في أعمال سكوليم قبل ذلك.
من الناحية غير الرسمية، تنص مبرهنة السلامة الخاصة بنظام الاستنباط على أن جميع الجمل الممكن إثباتها جمل حقيقية. بينما تنص مبرهنة الاكتمال أن جميع العبارات الحقيقية يمكن إثباتها.
مبرهنة عدم الاكتمال الأولى لغودل تبين أنه بالنسبة للغات التي تكفي لإجراء مقدار معين من العمليات الحسابية، فلن يكون هناك نظام استنباط فعال مكتمل يتعلق بالتفسير المطلوب لرمزية تلك اللغة. ومن ثم، ليست جميع أنظمة الاستنباط مكتملة بهذا المعنى الخاص للاكتمال، حيث تكون فئة من النماذج (حتى التماثل) قاصرة على المعنى المقصود. وينطبق برهان الاكتمال الأصلي على جميع النماذج الكلاسيكية، وليس بعض الفئات الفرعية الصحيحة الخاصة.
![[أعمال تشارلز ديكنز: مكتملة في 15 مجلدًا]](/publice/covers_cache_jpg/21/7/c/8/155f3aaa1f7c855b3adaee24bf0449eb.jpg.jpg "[أعمال تشارلز ديكنز: مكتملة في 15 مجلدًا]")
