Fondasi matematika
Fondasi matematika adalah sebuah studi tentang dasar-dasar logika dan filsafat dari matematika,[1] atau, dalam arti yang lebih luas, investigasi matematis mengenai konsekuensi-konsekuensi dari teori-teori filsafat dasar tentang natur dari matematika itu sendiri.[2] Dengan pengertian yang lebih luas ini, perbedaan antara fondasi matematika dan filsafat matematika sepertinya menjadi kabur. Fondasi matematika dapat di pahami juga[citation needed] sebagai suatu studi tentang konsep-konsep dasar matematis (bilangan, bentuk bentuk geometris, himpunan, fungsi...) dan bagaimana keseluruhannya membentuk sebuah hirarki konsep dan struktur yang lebih kompleks, khususnya struktur dasar yang penting yang membangun suatu bahasa matematika (rumus-rumus, teori-teori, dan model-model matematis yang memberikan makna kepada rumus-rumus, defenisi-defenisi, pembuktian-pembuktian, algoritma-algoritma...) yang juga sering disebut sebagai konsep-konsep matematis, dengan tetap memperhatikan aspek-aspek filsafat dan kesatuan dari matematika. Pencarian fondasi matematika adalah pertanyaan dan fokus utama dari filsafat matematika; namun natur yang abstrak dari objek-objek matematika memberikan tantangan filsafat yang khusus dalam pencarian ini.