Filsafat matematika adalah cabang ilmu filsafat yang bertujuan untuk merefleksikan, dan menjelaskan hakekat matematika. Hal ini merupakan kasus khas dari kegunaan epistemologi yang bertujuan menjelaskan pengetahuan manusia secara umum. Filsafat matematika mengajukan pertanyaan pertanyaan seperti: Apa dasar dari pengetahuan matematika? Apa hakekat kebenaran matematika? Apa yang mencirikan matematika? Apa pembenaran kebenaran matematika? Mengapa kebenaran matematika dianggap sebagai kebenaran yang mendasar? Sebuah pendekatan yang diadopsi secara luas terhadap epistemologi adalah mengasumsikan pengetahuan dalam bidang apapun diwakili oleh serangkaian dalil, bersama dengan serangkaian prosedur untuk membuktikannya, atau memberikankan bukti untuk pernyataan mereka. Atas dasar ini, pengetahuan matematika terdiri dari serangkaian teorema bersama dengan pembuktiannya. Semula bukti-bukti matematika didasarkan pada akal saja, tanpa bantuan data empiris, pengetahuan matematika dipahami sebagai pengetahuan yang paling penting dari semua pengetahuan. Secara tradisional filsafat matematika berfungsi menyediakan dasar-dasar dari kepastian pengetahuan matematika. Artinya, menyediakan sebuah sistem dimana didalamnya pengetahuan matematika dapat di tampilkan untuk membangun kebenaran dengan sistematis. Hal ini tergantung pada asumsi, yang diadopsi secara luas, secara implisit jika tidaksecaraeksplisit.
Asumsi
Peran filsafat matematika adalah untuk menunjukkan dasar yang sistematis dan benar-benar aman untuk pengetahuan matematika, yang diperuntukkan untuk kebenaran matematika
Asumsi ini adalah dasar dari foundationism, doktrin bahwa fungsi dari filsafat matematika adalah untuk menunjukkan dasar pengetahuan matematika. Foundationism terikat dengan pandangan absolutis pengetahuan matematika, karena menganggap tugas pembenaran pandangan ini menjadi tujuan utama filsafat matematika.
Asumsi
Peran filsafat matematika adalah untuk menunjukkan dasar yang sistematis dan benar-benar aman untuk pengetahuan matematika, yang diperuntukkan untuk kebenaran matematika
Asumsi ini adalah dasar dari foundationism, doktrin bahwa fungsi dari filsafat matematika adalah untuk menunjukkan dasar pengetahuan matematika. Foundationism terikat dengan pandangan absolutis pengetahuan matematika, karena menganggap tugas pembenaran pandangan ini menjadi tujuan utama filsafat matematika.