সংজ্ঞা
সংজ্ঞা হল কোনো একটি শব্দের অর্থের একটি বিবৃতি (একটি শব্দ, বাক্যাংশ, বা অন্যান্য চিহ্নের সেট)। সংজ্ঞা দুটি বৃহৎ শ্রেণীতে শ্রেণীবদ্ধ করা যেতে পারে: অন্তর্নিহিত সংজ্ঞা (যা একটি শব্দের অর্থ দেওয়ার চেষ্টা করে), এবং বর্ধিত সংজ্ঞা (যা একটি শব্দ বর্ণনা করে এমন বস্তুর তালিকা করার চেষ্টা করে)। একটি সংজ্ঞা বিভিন্ন উদাহরণসমূহ নির্দেশ করে একটি শব্দের অর্থ প্রকাশ করে। একটি শব্দের অনেকগুলি বিভিন্ন ইন্দ্রিয় এবং একাধিক অর্থ থাকতে পারে এবং এইভাবে একাধিক সংজ্ঞা প্রয়োজন। গণিতে, একটি সংজ্ঞা একটি নতুন শব্দের একটি সুনির্দিষ্ট অর্থ দিতে ব্যবহৃত হয়, এমন একটি শর্ত বর্ণনা করে যা একটি গাণিতিক শব্দ কী এবং কী নয় তা দ্ব্যর্থহীনভাবে যোগ্যতা অর্জন করে। সংজ্ঞা এবং স্বতঃসিদ্ধগুলি সেই ভিত্তিটুকু তৈরি করে যার ভিত্তিতে সমস্ত আধুনিক গণিত তৈরি করা হয়।