Ο όρος θεμέλια των μαθηματικών αναφέρεται περιληπτικά σε κλάδους των μαθηματικών ή της φιλοσοφίας, στο μέτρο τουλάχιστον που αυτοί ασχολούνται με την ενοποίηση των μαθηματικών θεωριών.
Από τη μεριά των μαθηματικών, ως τέτοιοι κλάδοι θεωρούνται παραδοσιακά η μαθηματική λογική και η θεωρία συνόλων, αλλά και η θεωρία κατηγοριών.[1] Στο χώρο της σύγχρονης φιλοσοφίας, με τη θεμελίωση των μαθηματικών έχουν ασχοληθεί μεταξύ άλλων ο Ράσελ, ο Γουάιτχεντ, ο Γκέντελ, ο Μπράουερ και ο Βίτγκενσταϊν.
