প্রাথমিক তত্ত্ব

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

কোনো তত্ত্বকে প্রাথমিক বলা বীজগাণিতিক বলার চেয়ে একটি দুর্বল শর্ত।
 ইতিহাস 
প্রাথমিক তত্ত্বের মূল ধারণাটি উনবিংশ শতাব্দীর শেষে এবং বিংশ শতাব্দীর শুরুর দিকে গণিতবিদ এবং দার্শনিকদের প্রচেষ্টার মাধ্যমে বিকশিত হয়। ডেভিড হিলবার্ট এবং গট্‌লব ফ্রেগে এই তত্ত্ব বিকাশের ক্ষেত্রে গুরুত্বপূর্ণ ভূমিকা পালন করেন।
 উদাহরণ 
প্রাথমিক তত্ত্বের উদাহরণগুলির মধ্যে রয়েছে:

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

 ম্যাক লেন এবং লেকে মোরডিজক, জ্যামিতি এবং যুক্তিতে শেভস: টপোস তত্ত্বের প্রথম ভূমিকা, পৃষ্ঠা 4।

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