১৯১৫ সালে লেওপোল্ড লোয়েনহাইম এবং ১৯২০ সালে থোরালফ স্কোলেম গাণিতিক যুক্তিবিজ্ঞানের ইতিহাসে এক বিস্ময়কর সত্য উন্মোচন করেন: কোনো প্রথম-স্তরের তত্ত্বের যদি যেকোনো একটি অসীম আকারের মডেল থাকে, তবে প্রতিটি অসীম কার্ডিনালিটিতেই তার একটি বৈধ মডেল থাকতে বাধ্য। লোয়েনহাইম-স্কোলেম উপপাদ্য (Löwenheim-Skolem Theorems) চিরতরে চূর্ণ করে দেয় সেই প্রাচীন বিশ্বাসকে যে প্রথম-স্তরের স্বতঃসিদ্ধ ব্যবস্থা দ্বারা কোনো গাণিতিক মহাবিশ্বের আকারকে অনন্যভাবে বেঁধে রাখা যায়। এর সরাসরি পরিণতি হিসেবে জন্ম নেয় সেট থিওরির বিখ্যাত “স্কোলেম প্যারাডক্স”।
১. প্রাথমিক উপ-মডেল ও তারস্কি-ভট মানদণ্ড (Elementary Submodels)
লোয়েনহাইম-স্কোলেম উপপাদ্যের ভিত্তি হলো প্রাথমিক উপ-মডেল (Elementary Submodel)-এর ধারণা। ধরা যাক $mathcal{A} subseteq mathcal{B}$ দুটি গাণিতিক কাঠামো:
সাধারণ সাব-মডেলে সত্যতা স্থানান্তরিত নাও হতে পারে (যেমন পূর্ণসংখ্যা $mathbb{Z}$ মূলদ সংখ্যা $mathbb{Q}$-এর উপসেট হলেও, $2x = 1$-এর সমাধান $mathbb{Z}$-এ নেই)। কিন্তু প্রাথমিক উপ-মডেলে সমস্ত সত্য অবিকল সংরক্ষিত থাকে:
প্রাথমিক উপ-মডেল ($mathcal{A} prec mathcal{B}$)
কাঠামো $mathcal{A}$-কে $mathcal{B}$-এর একটি প্রাথমিক উপ-মডেল বলা হবে ($mathcal{A} prec mathcal{B}$), যদি যেকোনো সূত্র $phi$ এবং $mathcal{A}$-এর যেকোনো উপাদানের জন্য:
[
mathcal{A} vDash phi(a_1, dots, a_n) iff mathcal{B} vDash phi(a_1, dots, a_n)
]
১৯৫৭ সালে আলফ্রেড তারস্কি ও রবার্ট ভট প্রমাণ করেন যে $mathcal{A} prec mathcal{B}$ হবে যদি এবং কেবল যদি $mathcal{B}$-এর যেকোনো অস্তিত্ববাচক বাক্য $exists x , phi(x, b)$-এর সাক্ষী উপাদানটি $mathcal{A}$-এর ভেতরেই বিদ্যমান থাকে (Tarski-Vaught Criterion)।
২. নিম্নমুখী লোয়েনহাইম-স্কোলেম উপপাদ্য (Downward LS)
নিম্নমুখী উপপাদ্য
একটি ভাষায় $mathcal{L}$ যদি একটি অসীম কাঠামো $mathcal{B}$ থাকে, তবে তার এমন একটি প্রাথমিক উপ-মডেল $mathcal{A} prec mathcal{B}$ থাকবে যার আকার হবে সসীম বা গণনাযোগ্য অসীম:
[
|A| = max(|mathcal{L}|, aleph_0)
]
প্রমাণের মূল কৌশল (Skolem Functions): অস্তিত্ববাচক সূত্রের জন্য স্কোলেম ফাংশন নির্ধারণ করে ক্রমান্বয়ে উপাদান যোগ করলে একটি সসীম বা গণনাযোগ্য সেট $mathcal{A}$ পাওয়া যায়, যা তারস্কি-ভট শর্ত পূরণ করে। ফলে সুবিশাল যেকোনো মহাবিশ্বকে একটি গণনাযোগ্য ক্ষুদ্র জগতে সংকুচিত করা সম্ভব!
৩. ঊর্ধ্বমুখী লোয়েনহাইম-স্কোলেম উপপাদ্য (Upward LS)
ঊর্ধ্বমুখী উপপাদ্য
যেকোনো অসীম কাঠামো $mathcal{A}$-কে ইচ্ছামতো সুবিশাল যেকোনো কার্ডিনাল $kappa$-তে প্রসারিত করে একটি প্রাথমিক সুপার-মডেল $mathcal{B} succ mathcal{A}$ নির্মাণ করা যায়, যার আকার $|B| = kappa$।
কম্প্যাক্টনেস উপপাদ্য প্রয়োগ করে নতুন $kappa$ সংখ্যক ধ্রুবক যোগ করে এই সুবিশাল মডেল তৈরি করা হয়।
৪. স্কোলেম প্যারাডক্স: অসীমতার আপেক্ষিকতা
নিম্নমুখী লোয়েনহাইম-স্কোলেম উপপাদ্যের সবচেয়ে চাঞ্চল্যকর দার্শনিক বিস্ফোরণ ঘটে জারমেলো-ফ্র্যাংকেল সেট থিওরিতে ($text{ZFC}$):
- $text{ZFC}$ সেট থিওরি একটি সসীম প্রথম-স্তরের ভাষায় গঠিত (যেখানে কেবল একটি সম্পর্ক প্রতীক $in$ রয়েছে)। সুতরাং ভাষার আকার $|mathcal{L}| = aleph_0$।
- ক্যান্টরের উপপাদ্য অনুসারে $text{ZFC}$ প্রমাণ করে যে স্বাভাবিক সংখ্যার পাওয়ার সেট $mathcal{P}(mathbb{N})$ তথা বাস্তব সংখ্যা হলো অগণনাযোগ্য (Uncountable)।
- যদি $text{ZFC}$ সঙ্গতিপূর্ণ হয়, তবে তার অন্তত একটি মডেল $mathcal{M}$ রয়েছে।
- নিম্নমুখী লোয়েনহাইম-স্কোলেম উপপাদ্য অনুসারে, $text{ZFC}$ সেট থিওরির একটি গণনাযোগ্য মডেল $mathcal{M}_{text{countable}}$ থাকতে বাধ্য!
যে মডেলে মোট উপাদানের সংখ্যাই গণনাযোগ্য অসীম ($aleph_0$), সেই মডেল কীভাবে প্রমাণ করে যে তার ভেতরে “অগণনাযোগ্য সেট” রয়েছে? এটিই ঐতিহাসিক স্কোলেম প্যারাডক্স (Skolem’s Paradox)।
প্যারাডক্সের সমাধান: কোনো সেটের “অগণনাযোগ্যতা” কোনো পরম বা চরম প্রাকৃতিক বৈশিষ্ট্য নয়; এটি একটি আপেক্ষিক শব্দার্থিক সম্পর্ক। গণনাযোগ্য মডেলটির বাইরের একজন পর্যবেক্ষক দেখতে পান যে মডেলটির উপাদানগুলোকে $1, 2, 3 dots$ দিয়ে সাজানো যায়। কিন্তু এই দ্বিমুখী ফাংশন বা বাইজেকশনটি মডেলটির নিজস্ব জগতের ভেতরে বিদ্যমান নেই! মডেলের ভেতরে কোনো ফাংশন নেই যা এই উপাদানগুলোকে স্বাভাবিক সংখ্যার সাথে মেলাতে পারে, তাই অভ্যন্তরীণ দৃষ্টিকোণ থেকে সেটটি পুরোপুরি অগণনাযোগ্য।
লোয়েনহাইম-স্কোলেম উপপাদ্য প্রমাণ করে যে গণিতের যেকোনো প্রথম-স্তরের ব্যবস্থায় “গণনাযোগ্য” ও “অগণনাযোগ্য”-এর মতো অসীমের ধারণাগুলো পরম সত্য নয়, বরং তা পর্যবেক্ষকের মডেল কাঠামোর ওপর আপেক্ষিক।
