প্রাথমিক সংজ্ঞা

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

একটি সংজ্ঞাকে প্রাথমিক বলা একে বীজগাণিতিক বলার চেয়ে অপেক্ষাকৃত দুর্বল শর্ত।

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

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

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