ঊনবিংশ শতাব্দীর শেষভাগে গণিত এক চরম অস্তিত্ব সংকটের মুখোমুখি হয়। জর্জ ক্যান্টরের ট্রান্সফাইনাইট সেট তত্ত্ব গণিতে অসীমের বহুমাত্রিক রূপ উন্মোচন করেছিল সত্য, কিন্তু সরল বা অবাধ সেট তত্ত্বের মধ্যে শীঘ্রই আবিষ্কৃত হয় মারাত্মক যৌক্তিক বৈপরীত্য—যার মধ্যে সবচেয়ে বিখ্যাত হলো রাসেলের কূটাভাস (Russell’s Paradox)। এই সংকট থেকে মুক্তি পেতে গণিতবিদগণ সমগ্র মানব চিন্তার ভিত্তিপ্রস্তরকে পুনর্নির্মাণ করেন এক অকাট্য, আনুষ্ঠানিক স্বতঃসিদ্ধ কাঠামোর ওপর: পছন্দের স্বতঃসিদ্ধসহ জারমেলো-ফ্রেঙ্কেল সেট তত্ত্ব (ZFC)।
১. অবাধ কম্প্রিহেনশনের পতন ও রাসেলের কূটাভাস
গটলোব ফ্রেগের যুক্তিবাদী দর্শনে ধরে নেওয়া হয়েছিল যে যেকোনো বৈশিষ্ট্য বা শর্ত $phi(x)$-এর জন্য একটি সেট তৈরি করা যায়: $S = {x mid phi(x)}$। কিন্তু ১৯০১ সালে বার্ট্রান্ড রাসেল একটি স্ব-বিরোধী উদাহরণের মাধ্যমে এই ধারণাকে ধূলিসাৎ করে দেন। বিবেচনা করা যাক এমন সমস্ত সেটের সেট $R$, যারা নিজেরা নিজেদের সদস্য নয়:
R = { x mid x notin x }
এখন প্রশ্ন হলো, $R$ কি নিজের সদস্য ($R in R$)?
- যদি $R in R$ হয়, তবে সংজ্ঞার শর্তানুসারে তাকে $R notin R$ হতে হবে (স্ববিরোধিতা)।
- আর যদি $R notin R$ হয়, তবে সেটের শর্ত পূরণ হওয়ায় তাকে $R in R$ হতে হবে (স্ববিরোধিতা)।
অর্থাৎ, $R in R iff R notin R$। যুক্তিবিদ্যার তৃতীয় বর্জন নীতি পুরোপুরি ভেঙে পড়ে; প্রমাণিত হয় যে অবাধে ইচ্ছামতো সেট কল্পনা করা গণিতকে আত্মঘাতী বৈপরীত্যের দিকে ঠেলে দেয়।
২. জারমেলো-ফ্রেঙ্কেল স্বতঃসিদ্ধ ব্যবস্থা (ZFC)
আর্নস্ট জারমেলো (১৯০৮) এবং এডলফ ফ্রেঙ্কেল (১৯২২) এই কূটাভাস দূর করতে অবাধ কম্প্রিহেনশন বাতিল করে পৃথকীকরণ স্বতঃসিদ্ধ (Axiom of Separation) প্রবর্তন করেন: শূন্য থেকে সেট তৈরি করা যাবে না; কেবল পূর্বে বিদ্যমান কোনো নিশ্চিত সেট $A$ থেকে শর্ত সাপেক্ষে উপসেট বাছাই করা যাবে:
forall A , exists B , forall x , (x in B iff x in A land phi(x))
আধুনিক ZFC ব্যবস্থার প্রধান স্বতঃসিদ্ধসমূহ হলো:
- ব্যাপ্তিমুখিতা (Extensionality): দুটি সেটের উপাদান অভিন্ন হলে সেট দুটি সম্পূর্ণ সমান।
- ভিত্তি বা নিয়মিততা (Regularity): কোনো সেট নিজের সদস্য হতে পারে না ($x notin x$) এবং উপাদান ক্রমের কোনো অন্তহীন নিম্নাভিমুখী শৃঙ্খল সম্ভব নয়।
- জোড় স্বতঃসিদ্ধ (Pairing): যেকোনো দুটি উপাদান $a$ ও $b$-এর জন্য সেট ${a, b}$ বিদ্যমান।
- সংযোগ (Union): সেটের উপাদানের সার্বিক মিলন সেট বিদ্যমান।
- শক্তি সেট (Power Set): যেকোনো সেট $A$-এর সমস্ত সম্ভাব্য উপসেটের সেট $mathcal{P}(A)$ বিদ্যমান।
- অসীমতা (Infinity): স্বাভাবিক সংখ্যার সেট $mathbb{N}$-এর মতো অনন্ত সেটের অস্তিত্ব স্বীকার করা হয়।
- প্রতিস্থাপন (Replacement): যেকোনো ফাংশনের অধীনে কোনো সেটের প্রতিবিম্ব নিজেও একটি বৈধ সেট।
৩. পছন্দের স্বতঃসিদ্ধ (Axiom of Choice)
নবম এবং সবচেয়ে প্রভাবশালী স্বতঃসিদ্ধটি হলো পছন্দের স্বতঃসিদ্ধ (Axiom of Choice বা AC): পরস্পরছেদী নয় এমন যেকোনো সংখ্যক অশূন্য সেটের পরিবার থেকে প্রতিটি সেট হতে ঠিক একটি করে উপাদান নির্বাচন করে একটি নতুন সেট গঠন করা সর্বদা সম্ভব:
prod_{A in mathcal{F}} A neq emptyset
এই স্বতঃসিদ্ধটি বিশুদ্ধ গণিতের দুটি মহত্তম উপপাদ্যের সাথে যৌক্তিকভাবে সম্পূর্ণ সমতুল্য:
- জারমেলোর সুবিন্যাস উপপাদ্য (Well-Ordering Theorem): যেকোনো সেটকে সুবিন্যস্ত করা সম্ভব (যাতে প্রতিটি অশূন্য উপসেটের একটি ক্ষুদ্রতম উপাদান থাকে)।
- জর্নের লেমা (Zorn’s Lemma): আংশিক ক্রমযুক্ত সেটের প্রতিটি শৃঙ্খলের ঊর্ধ্বসীমা থাকলে তার অন্তত একটি চরম বা ম্যাক্সিমাল উপাদান বিদ্যমান। জর্নের লেমা ছাড়া ভেক্টর স্পেসের ভিত্তি প্রমাণ করা বা টপোলজির টাইকনফ উপপাদ্য প্রতিষ্ঠা করা অসম্ভব।
৪. ভন নিউম্যানের ক্রমসঞ্চিত মহাবিশ্ব V
আধুনিক গণিতের সমগ্র জগতকে জন ভন নিউম্যানের ক্রমসঞ্চিত স্তরবিন্যাস (Von Neumann Universe $mathbf{V}$) হিসেবে কল্পনা করা হয়। শূন্য সেট $emptyset$ থেকে শুরু করে প্রতিটি ধাপে শক্তি সেট ($mathcal{P}$) তৈরির মাধ্যমে তৈরি হয় সমস্ত সংখ্যা, রিয়েল অ্যানালাইসিসের সন্ততি, হিলবার্ট স্পেস ও টপোলজিক্যাল ম্যানিফোল্ড। নিয়মিততার স্বতঃসিদ্ধ নিশ্চিত করে যে গণিতের প্রতিটি বস্তু এই স্তূপের কোথাও না কোথাও অবস্থান করে—কোনো রাসেলীয় কূটাভাস ছাড়াই।
