গণিতের ভিত্তি: সংশোধিত সংস্করণের মধ্যে পার্থক্য

'''গণিতের ভিত্তি''' ([[ইংরেজি]]: Foundations of mathematics) বলতে গণিতের সেই শাখাকে বোঝায় যেখানে প্রাথমিক গাণিতিক ধারণাসমূহকে (যেমন - সংখ্যা, পরিমাণ, আকৃতি, সেট, ইত্যাদি) কিছু মৌলিক ধারণার স্তরক্রমে (hierarchy of fundamental concepts) বিন্যস্ত করা হয়, কী ভাবে স্বতঃসিদ্ধ নির্মাণ ও গাণিতিক প্রমাণ সম্পাদন করতে হয়, তার নিয়মগুলো খুঁজে বের করা হয়, এবং এগুলো যে বিধিগত ব্যবস্থার (formal system) অন্তর্গত, তার বৈশিষ্ট্য ও সীমা নিয়ে আলোচনা করা হয়। বর্তমান গণিতের কিছু শাখা, যেমন - [[গাণিতিক যুক্তিবিজ্ঞান]], [[স্বতঃসিদ্ধমূলক সেট তত্ত্ব]], [[প্রমাণ তত্ত্ব]], [[মডেল তত্ত্ব]], [[পুনরাবৃত্তি তত্ত্ব]] (recursion theory) ইত্যাদিকে একত্রে "গণিতের ভিত্তি" নামে ডাকা হয়।