Matemaatikafilosoofia
Matemaatikafilosoofia on filosoofia haru, mis tegeleb matemaatika filosoofiliste (ontoloogiliste ja epistemoloogiliste) probleemidega. Kuigi matemaatika on teadusharu, eristatakse matemaatikafilosoofiat tavaliselt teadusfilosoofiast, kuivõrd teadusfilosoofia tegeleb empiiriliste teaduste, eriti loodusteaduste filosoofiliste probleemidega, matemaatika aga erineb nendest nii oma objektide poolest (neid peetakse tavaliselt abstraktseteks objektideks, kuigi matemaatikafilosoofia pakub ka teistsuguseid ontoloogilisi tõlgendusi) kui ka oma tunnetusviisi poolest (laias laastus on matemaatika tunnetusmeetodiks induktsiooni asemel deduktsioon). Nõnda on ka matemaatika filosoofilised probleemid erinevad empiiriliste teaduste omadest. Mõnikord siiski laiendatakse teadusfilosoofia mõistet ka matemaatikafilosoofiale. Matemaatikafilosoofia on osalt läbi põimunud matemaatika alustega, mis kujutavad endast matemaatika filosoofiliste probleemide lahendamist matemaatiliste meetoditega (matemaatilise loogika abil) ning kuuluvad seetõttu pigem matemaatika valda.