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