মডেল তত্ত্ব

উইকিপিডিয়া, মুক্ত বিশ্বকোষ থেকে

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

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