স্বতঃসিদ্ধমূলক সেট তত্ত্ব: সংশোধিত সংস্করণের মধ্যে পার্থক্য

[[গণিত|গণিতে]] '''স্বতঃসিদ্ধমূলক সেট তত্ত্ব''' ({{lang-en|Axiomatic set theory}}) [[সেট তত্ত্ব|সেট তত্ত্বের]] একটি [[গাণিতিক কঠোরতা|কঠোর]] গাণিতিক সংস্কারসাধিত রূপ। [[সরল সেট তত্ত্ব|সরল সেট তত্ত্বের]] কূটাভাসগুলির সমাধানের লক্ষ্যে [[প্রথম-মাত্রার যুক্তিবিজ্ঞান|প্রথম-মাত্রার যুক্তিবিজ্ঞানের]] মাধ্যমে এটি রচিত হয়।

জার্মান গণিতবিদ [[গেয়র্গ কান্টর]] ১৯শ শতকের শেষ দিকে সেট তত্ত্বের ভিত্তি প্রস্তুত করেন। প্রথমদিকে তত্ত্বটি বিতর্কিত হলেও এটি পরবর্তীতে আধুনিক গণিতের একটি [[গণিতের ভিত্তি|ভিত্তি তত্ত্বে]] পরিণত হয়, কেননা সেট তত্ত্বে গণিতের অন্যান্য ঐতিহ্যবাহী ক্ষেত্র (যেমন- [[বীজগণিত]], [[গাণিতিক বিশ্লেষণ]], [[টপোগণিত]], ইত্যাদি) থেকে প্রাপ্ত গাণিতিক বস্তুসমূহ (যেমন- সংখ্যা, ফাংশন) সম্পর্কে বলা প্রস্তাবনাগুলি (propositions) একটিমাত্র তত্ত্বেই আলোচিত হয় এবং এগুলিকে ঠিক বা ভুল প্রমাণ করার জন্য সেট তত্ত্ব কতগুলি আদর্শ স্বতঃসিদ্ধের একটি সেট প্রদান করে।