মডেল তত্ত্ব

মডেল তত্ত্ব () স্বতঃসিদ্ধমূলক সেট তত্ত্ব বর্ণনাকারী সাধারণ তত্ত্ব। এটি যুক্তিবিজ্ঞানের একটি শাখা যেখানে গাণিতিক সংগঠনগুলি নিয়ে গবেষণা করার জন্য ঐ সংগঠনগুলি সম্পর্কিত প্রথম-মাত্রার সত্য বাক্যসমূহ এবং প্রথম-মাত্রার সূত্র প্রয়োগে যেসব সেটকে ঐ সংগঠনগুলির জন্য সংজ্ঞায়িত করা যায়, সেই সব সেট আলোচনা করা হয়।

যেসমস্ত গাণিতিক সংগঠন কোন সিস্টেমের স্বতঃসিদ্ধগুলি মেনে চলে সেগুলিকে ঐ সিস্টেমের "মডেল" বলা হয়।

বিষয়শ্রেণী:গণিত
বিষয়শ্রেণী:গাণিতিক যুক্তিবিজ্ঞান
বিষয়শ্রেণী:গাণিতিক প্রমাণ