১৯২৯ সালে মাত্র তেইশ বছর বয়সে কুর্ট গোডেল তাঁর পিএইচডি গবেষণাপত্রে প্রাথমিক গাণিতিক যুক্তিবিজ্ঞানের সবচেয়ে গৌরবোজ্জ্বল শিখর স্পর্শ করেন: ফার্স্ট-অর্ডার লজিকের সম্পূর্ণতা উপপাদ্য (Gödel’s Completeness Theorem)। গোডেল প্রমাণ করেন যে ফ্রেগে, রাসেল ও হিলবার্ট উদ্ভাবিত যান্ত্রিক ডিডাকশন নিয়মাবলী প্রথম-স্তরের যুক্তিবিজ্ঞানের যেকোনো মহাজাগতিক সত্যকে প্রমাণ করতে সম্পূর্ণ সক্ষম। এই উপপাদ্যের প্রত্যক্ষ ফলশ্রুতি হিসেবে জন্ম নেওয়া কম্প্যাক্টনেস নীতি (Compactness Theorem) পরবর্তীকালে আধুনিক মডেল থিওরির সবচেয়ে শক্তিশালী অস্ত্রে পরিণত হয়।
১. সম্পূর্ণতার গাণিতিক স্বরূপ
ধরা যাক $Sigma$ হলো প্রথম-স্তরের বাক্যের একটি সেট এবং $phi$ হলো একটি বাক্য।
[
Sigma vDash phi implies Sigma vdash phi
]
শব্দার্থিক বৈধতা ($Sigma vDash phi$—অর্থাৎ $Sigma$-এর স্বতঃসিদ্ধগুলো যেখানেই সত্য, $phi$-ও সেখানে অবশ্যম্ভাবী সত্য) নিশ্চিত করে যে $phi$-এর একটি সসীম, ধাপে ধাপে তৈরি আনুষ্ঠানিক প্রমাণ রয়েছে ($Sigma vdash phi$)।
কনসিস্টেন্সি বা সামঞ্জস্যের ভাষায় এর সমার্থক রূপ হলো:
মডেলের অস্তিত্বের উপপাদ্য (Model Existence Theorem)
যেকোনো প্রথম-স্তরের তত্ত্ব $Sigma$ যদি স্ব-বিরোধী না হয় ($Sigma notvdash bot$), তবে নিশ্চিতভাবেই তার অন্তত একটি বৈধ মডেল রয়েছে ($exists mathcal{M} vDash Sigma$)।
২. লিওন হেনকিনের ক্যানোনিকাল মডেল নির্মাণ (Henkin’s Proof, 1949)
গোডেলের আদি প্রমাণের জটিলতা কাটিয়ে ১৯৪৯ সালে লিওন হেনকিন এক অনুপম পদ্ধতি আবিষ্কার করেন, যেখানে ভাষার নিজস্ব প্রতীকগুলো দিয়েই সম্পূর্ণ একটি গাণিতিক জগৎ বা মডেল তৈরি করা হয়:
ধাপ ১: হেনকিন উইটনেস কনস্ট্যান্ট যুক্তকরণ
মূল ভাষা $mathcal{L}$-এ অসীম সংখ্যক সাক্ষী ধ্রুবক $c_phi$ যুক্ত করা হয়, যাতে প্রতিটি অস্তিত্ববাচক বাক্য $exists x , phi(x)$-এর জন্য একটি বাস্তব উপাদান $phi(c_phi)$ নিশ্চিত হয়।
ধাপ ২: লিন্ডেনবাউম লেমা (Lindenbaum’s Lemma)
তত্ত্বটিকে একটি সর্বোচ্চ সামঞ্জস্যপূর্ণ তত্ত্বে ($T^*$) প্রসারিত করা হয়। এতে যেকোনো সম্ভাব্য বাক্য $psi$-এর জন্য হয় $psi in T^*$ থাকবে, নয়তো $neg psi in T^*$ থাকবে।
ধাপ ৩: টার্মের সমতা সম্পর্ক
ভাষার টার্মগুলোর মধ্যে একটি সমতুল্য সম্পর্ক $sim$ তৈরি করা হয়: $t_1 sim t_2 iff (t_1 = t_2) in T^*$।
ধাপ ৪: ক্যানোনিকাল টার্ম মডেল
মডেলটির ডোমেইন $M$ গঠিত হয় এই টার্মগুলোর সমতুল্য ক্লাস দিয়ে: $M = { [t] }$। ট্রুথ লেমা (Truth Lemma) অনুসারে প্রমাণিত হয়:
[
mathcal{M} vDash psi iff psi in T^*
]
যেহেতু $Sigma subseteq T^*$, সেহেতু এই প্রতীক-নির্মিত কাঠামোটিই $Sigma$-এর একটি নিখুঁত মহাবিশ্ব বা মডেল! বাক্যতত্ত্বের শুষ্ক কঙ্কাল থেকেই বাস্তব গাণিতিক মডেলের জন্ম হলো।
৩. কম্প্যাক্টনেস উপপাদ্য (Compactness Theorem)
সম্পূর্ণতা উপপাদ্যের সবচেয়ে প্রভাবশালী উপজাত হলো কম্প্যাক্টনেস নীতি:
কম্প্যাক্টনেস উপপাদ্য
সূত্রের একটি অসীম সেট $Sigma$-এর একটি মডেল থাকবে যদি এবং কেবল যদি তার প্রতিটি সসীম উপসেটের একটি বৈধ মডেল থাকে।
প্রমাণ: ধরা যাক $Sigma$-এর কোনো মডেল নেই। সম্পূর্ণতা উপপাদ্য অনুসারে $Sigma$ অসঙ্গত ($Sigma vdash bot$)। কিন্তু যেকোনো আনুষ্ঠানিক প্রমাণ কেবল সসীম সংখ্যক ধাপ নিয়ে গঠিত, ফলে তা কেবল একটি সসীম উপসেট $Sigma_0$-কে ব্যবহার করতে পারে। সুতরাং $Sigma_0 vdash bot$, অর্থাৎ সেই সসীম উপসেটেরও কোনো মডেল থাকতে পারে না। অতএব বিপরীতক্রমে, যদি প্রতিটি সসীম উপসেটের মডেল থাকে, তবে সম্পূর্ণ অসীম সেটেরও মডেল থাকবে। $blacksquare$
৪. কম্প্যাক্টনেসের ক্ষমতা: নন-স্ট্যান্ডার্ড পাটিগণিত
কম্প্যাক্টনেস প্রমাণ করে যে ফার্স্ট-অর্ডার লজিক কখনোই সসীমতাকে নিখুঁতভাবে আটকে রাখতে পারে না। স্বাভাবিক সংখ্যার সমস্ত সত্য বাক্যের সেট $text{Th}(mathbb{N})$-এর সাথে একটি নতুন ধ্রুবক $c$ এবং অসীম সংখ্যক শর্ত যোগ করি:
[
Sigma = text{Th}(mathbb{N}) cup { c > 0, c > 1, c > 2, c > 3, dots }
]
যেকোনো সসীম উপসেটে $c$-এর একটি সসীম সীমা থাকে, যা স্বাভাবিক সংখ্যাতেই $c$-এর মান একটু বাড়িয়ে সমাধান করা যায়। সুতরাং প্রতিটি সসীম উপসেটের মডেল আছে!
কম্প্যাক্টনেস উপপাদ্য অনুসারে সমগ্র অসীম সেট $Sigma$-এর একটি মডেল $mathcal{N}^*$ থাকতে বাধ্য! এই নতুন মহাবিশ্বে স্বাভাবিক পাটিগণিতের সব নিয়ম বহাল থাকে, অথচ $c$ হলো এমন এক “অসীম পূর্ণসংখ্যা”, যা আমাদের চেনা সমস্ত সংখ্যা $0, 1, 2, 3 dots$-এর চেয়ে বৃহত্তর। ফার্স্ট-অর্ডার লজিক এইভাবে অনিবার্যভাবে অ-মানক (Non-Standard) মহাবিশ্বের জন্ম দেয়।
