في المنطق الرياضي ، تكتمل النظرية إذا كانت متسقة ولكل صيغة مغلقة في لغة النظرية ، يمكن إثبات هذه الصيغة أو نفيها . أي أن لكل جملة النظرية يحتوي على الجملة أو نفيها ولكن ليس كليهما (أي أيضًا أو ). لا يمكن أن تكتمل نظريات الدرجة الأولى القابلة للتكرار والتي تكون متسقة وغنية بما يكفي للسماح بصياغة التفكير الرياضي العام ، كما يتضح من مبرهنات عدم الاكتمال الأولى لغودل .

يختلف معنى هذا الاكتمال عن فكرة الاكتمال في المنطق، الذي يؤكد أنه بالنسبة لكل نظرية يمكن صياغتها في المنطق ، فإن جميع العبارات الصالحة دلاليًا هي نظريات قابلة للإثبات (من أجل معنى مناسب لـ "صالح دلاليًا"). نظرية الاكتمال لجودل تدور حول هذا النوع الأخير من الاكتمال.

تغلق النظريات الكاملة تحت عدد من الشروط تشكل نموذج مخطط T داخليًا:

  • لمجموعة من الصيغ  : إذا وفقط إذا و
  • لمجموعة من الصيغ  : إذا وفقط إذا أو .

تعد المجموعات المتسقة القصوى أداة أساسية في نظرية النموذج للمنطق الكلاسيكي والمنطق الشرطي . عادة ما يكون وجودها في حالة معينة نتيجة مباشرة توطئة Zorn's lemma ، استنادًا إلى فكرة أن التناقض ينطوي على استخدام عدد محدود فقط من المقدمات. في حالة المنطق الشرطي ، يمكن إعطاء مجموعة المجموعات المتسقة القصوى التي تمتد لنظرية T (مغلقة بموجب قاعدة الضرورة) بنية نموذج T ، يسمى النموذج القياسي canonical.

أمثلة

عدل

بعض الأمثلة على النظريات الكاملة هي:

انظر أيضًا

عدل
  • ليندنباوم ليمما
  • اختبار Łoś – Vaught

مراجع

عدل
  • Mendelson، Elliott (1997). Introduction to Mathematical Logic (ط. Fourth). Chapman & Hall. ص. 86. ISBN:978-0-412-80830-2.