**قضیه تمامیت گودل** که توسط منطق‌دان اتریشی [[کورت گودل]] در رساله دکتری او در سال ۱۹۲۹ میلادی اثبات و در سال ۱۹۳۰ منتشر شد ((کورت گودل، رساله دکتری در دانشگاه وین با عنوان Über die Vollständigkeit des Logikkalküls، سال ۱۹۲۹ میلادی))، سنگ‌بنای [[منطق مرتبه اول]] و نقطه تلاقی دو قلمرو بزرگ در مبانی ریاضیات یعنی «نظریه مدل» و «نظریه اثبات» است. این دستاورد در پاسخ به یکی از مسائل باز و کلیدی مطرح‌شده توسط [[داوید هیلبرت]] و ویلهلم آکرمان در کتاب «اصول منطق نظری» به ثمر رسید ((داوید هیلبرت و ویلهلم آکرمان، کتاب Grundzüge der theoretischen Logik، چاپ ۱۹۲۸ میلادی)).
<قضیه تمامیت گودل تضمین می‌کند که دستگاه استنتاج صوری در منطق مرتبه اول به اندازه کافی قدرتمند است تا هر حقیقت منطقی و جهان‌شمول را تنها با تکیه بر قواعد نحوی اثبات کند.>
# دوگانه نحو و معناشناسی در منطق #
برای درک عمیق قضیه تمامیت، باید میان دو مفهوم بنیادی در منطق ریاضی تمایز قائل شد:
* **پیامد معناشناختی (Semantic Consequence):** در این دیدگاه، ما با جهان‌های ریاضی یا «مدل‌ها» سر و کار داریم. می‌گوییم گزاره $\varphi$ پیامد معناشناختی نظریه $T$ است و می‌نویسیم $T \models \varphi$، هرگاه در **هر ساختار یا مدلی** مانند $\mathcal{M}$ که تمام اصول نظریه $T$ در آن صادق باشند، گزاره $\varphi$ نیز در $\mathcal{M}$ صادق باشد.
* **استنتاج نحوی (Syntactic Derivability):** در این دیدگاه، ما بدون توجه به معنای نمادها، تنها با زنجیره‌ای متناهی از دستکاری‌های نمادین بر اساس قواعد استنتاج سر و کار داریم. می‌گوییم گزاره $\varphi$ از نظریه $T$ قابل اثبات صوری است و می‌نویسیم $T \vdash \varphi$، هرگاه بتوان با شروع از اصول موضوعه $T$ و قواعد منطقی، در گام‌هایی متناهی به $\varphi$ رسید.
پرسش بنیادین [[برنامه هیلبرت]] این بود که آیا این دو مفهوم کاملاً بر یکدیگر منطبق هستند؟
# صورت‌بندی ریاضی قضیه تمامیت #
قضیه تمامیت گودل در دو صورت‌بندی هم‌ارز بیان می‌شود که هر یک زاویه متفاوتی از رابطه میان زبان صوری و واقعیت ریاضی را آشکار می‌سازند.
## صورت اول: هم‌ارزی صدق منطقی و اثبات‌پذیری ##
فرض کنید $T$ مجموعه‌ای از فرمول‌ها در زبان [[منطق مرتبه اول]] و $\varphi$ یک فرمول دلخواه در همان زبان باشد. در این صورت، گزاره $\varphi$ در تمامی مدل‌های نظریه $T$ صادق است اگر و تنها اگر بتوان $\varphi$ را به صورت صوری و نحوی از $T$ اثبات کرد:
$$
T \models \varphi \iff T \vdash \varphi
$$
این رابطه دوطرفه از ترکیب دو ویژگی مستقل شکل می‌گیرد:
1. **قضیه درستی (Soundness):** جهت چپ به راست یعنی $T \vdash \varphi \implies T \models \varphi$ بیانگر آن است که دستگاه استنتاج ما هرگز از مقدمات صادق، نتیجه‌ای کاذب تولید نمی‌کند.
2. **قضیه تمامیت (Completeness):** جهت راست به چپ یعنی $T \models \varphi \implies T \vdash \varphi$ که بخش دشوار و دستاورد اصلی گودل است، نشان می‌دهد هیچ حقیقت منطقی‌ای از تورِ قواعد اثباتِ منطق مرتبه اول فرار نمی‌کند.
## صورت دوم: قضیه وجود مدل (صورت‌بندی هنکین) ##
در سال ۱۹۴۹ میلادی، منطق‌دان آمریکایی لئون هنکین اثباتی بسیار ظریف و مفهومی برای قضیه تمامیت ارائه داد که بر پایه «سازگاری» استوار است ((لئون هنکین، مقاله The Completeness of the First-Order Functional Calculus در مجله Journal of Symbolic Logic، سال ۱۹۴۹ میلادی)). در این بیان، نظریه $T$ را **سازگار نحوی** می‌نامیم هرگاه نتوان از آن به تناقض صوری رسید، یعنی $T \nvdash \bot$.
<بر اساس صورت‌بندی دوم قضیه تمامیت، هر نظریه سازگار نحوی در منطق مرتبه اول، دست‌کم یک مدل ریاضی دارد.>
به بیان نمادین، اگر $\text{Con}(T)$ نشان‌دهنده سازگاری نحوی نظریه $T$ باشد، آنگاه ساختاری مانند $\mathcal{M}$ وجود دارد به گونه‌ای که:
$$
\text{Con}(T) \iff \exists \mathcal{M} \, (\mathcal{M} \models T)
$$
این گزاره از منظر فلسفه ریاضی اهمیت شگرفی دارد؛ زیرا نشان می‌دهد «عدم تناقض درونی» در یک دستگاه صوری، برای تضمین «وجود ریاضی» یک ساختار که آن اصول را محقق کند کافی است.
# ساختار اثبات به روش هنکین #
اثبات کلاسیک لئون هنکین که امروزه در منطق ریاضی استاندارد محسوب می‌شود، به جای جستجوی مدل در جهان‌های بیرونی، مدلِ نظریه را از **خودِ کلمات و نمادهای زبان صوری** می‌سازد. گام‌های اصلی این اثبات عبارت‌اند از:
1. **غنی‌سازی زبان با ثوابت گواه (Henkin Constants):** به ازای هر فرمول وجودی به شکل $\exists x \, \psi(x)$، یک ثابت جدید $c_\psi$ به زبان اضافه می‌کنیم و اصل موضوعه $\exists x \, \psi(x) \to \psi(c_\psi)$ را به نظریه می‌افزاییم تا هر ادعای وجودی، یک شاهد مشخص در زبان داشته باشد.
2. **لم لیندنباوم (Lindenbaum's Lemma):** با تکیه بر [[اصل موضوع انتخاب]]، نظریه سازگار اولیه را به یک نظریه «سازگار ماکسیمال» به نام $T^*$ توسیع می‌دهیم؛ به طوری که برای هر گزاره $\sigma$، دقیقاً یکی از دو گزاره $\sigma$ یا $\neg \sigma$ متعلق به $T^*$ باشد.
3. **ساخت مدل کانونی (Canonical Term Model):** جهانِ مدل $\mathcal{M}$ را مجموعه هم‌ارزیِ ترم‌های بسته زبان تعریف می‌کنیم. در این ساختار، صدق معناشناختی دقیقاً منطبق بر عضویت نحوی در $T^*$ می‌شود:
$$
\mathcal{M} \models \sigma \iff \sigma \in T^*
$$
# پیامدهای بنیادین در منطق و ریاضیات #
قضیه تمامیت گودل بلافاصله به دو نتیجه شگفت‌انگیز در [[نظریه مدل]] منتهی می‌شود که مرزهای توان بیانی منطق مرتبه اول را مشخص می‌کنند:
## ۱. قضیه فشردگی (Compactness Theorem) ##
از آنجا که هر اثبات صوری در منطق تنها شامل تعداد **متناهی** گام و در نتیجه متناهی اصل موضوعه است، قضیه تمامیت مستقیماً نتیجه می‌دهد که [[قضیه فشردگی]] برقرار است: یک نظریه نامتناهی $T$ دارای مدل است اگر و تنها اگر هر زیرمجموعه متناهیِ $T_0 \subseteq T$ دارای مدل باشد.
$$
\exists \mathcal{M} \, (\mathcal{M} \models T) \iff \forall T_0 \subseteq_{\text{fin}} T, \, \exists \mathcal{M}_0 \, (\mathcal{M}_0 \models T_0)
$$
این قضیه ابزار اصلی برای ساخت مدل‌های غیراستاندارد حساب و بنیان‌گذاری [[آنالیز غیراستاندارد]] توسط آبراهام رابینسون است ((آبراهام رابینسون، کتاب Non-standard Analysis، انتشارات North-Holland، سال ۱۹۶۶ میلادی)).
## ۲. قضیه لوونهایم-اسکولم ##
بر اساس ساختار اثبات تمامیت در زبان‌های شمارا، اگر یک نظریه مرتبه اول دارای مدلی نامتناهی با هر کاردینالیتی دلخواه باشد، حتماً دارای یک مدل نامتناهیِ شمارا نیز هست. این نتیجه که به [[قضیه لوونهایم-اسکولم]] شهرت دارد، به پیدایش «پارادوکس اسکولم» در فلسفه ریاضی انجامید.
# مرز دقیق میان «تمامیت» و «ناتمامیت» گودل #
یکی از رایج‌ترین ابهامات مفهومی، خلط کردن **قضیه تمامیت گودل** «۱۹۲۹» با [[قضایای ناتمامیت گودل]] «۱۹۳۱» است. این دو قضیه نه تنها با یکدیگر در تضاد نیستند، بلکه مکمل یکدیگرند:
* **تمامیت معناشناختی منطق مرتبه اول (۱۹۲۹):** می‌گوید اگر گزاره‌ای در **همه مدل‌های ممکن** یک نظریه درست باشد، آنگاه قابل اثبات است. در اینجا سخن از «کفایت قواعد استنتاج منطق» است.
* **ناتمامیت نحوی نظریه‌های حسابی (۱۹۳۱):** می‌گوید در یک نظریه مشخص مانند [[حساب پئانو]]، گزاره‌هایی وجود دارند که در «مدل استاندارد اعداد طبیعی» صادق‌اند، اما چون در برخی «مدل‌های غیراستاندارد» کاذب می‌شوند، از اصول موضوعه حساب قابل اثبات نیستند.
<به بیان دقیق‌تر، قضیه ناتمامیت گودل در ترکیب با قضیه تمامیت او ثابت می‌کند که هیچ دستگاه اصل موضوعه‌ای مرتبه اول و بازگشتی نمی‌تواند تنها و تنها مدل استاندارد اعداد طبیعی را توصیف کند.>