Matematiikka
Matematiikka on deduktiiviseen päättelyyn perustuva formaali eli käsitteellinen tiede. Matematiikassa tutkitaan muun muassa lukuja, määriä, rakenteita, muutoksia ja avaruuksia. Matemaattisen formalismin mukaan matematiikka on aksiomaattisesti määriteltyjen abstraktien rakenteiden tutkimista symbolisen logiikan ja matemaattisen merkintäjärjestelmän keinoin. Matematiikkaa käytetään fysikaalisten ja käsitteellisten suhteiden ilmaisemisen "kielenä", jonka kielioppi ja käsitteistö on määritelty äärimmäisen tarkkaan. Tämä mahdollistaa asioiden ilmaisemisen yksikäsitteisesti, kun oletetaan loogisten rakenteiden pysyvän muuttumattomina.
Matematiikan filosofia
Matematiikan filosofian teemoja ovat muun muassa:Termit "matematiikan filosofia" ja "matemaattinen filosofia" voidaan nähdä joko samoina tai erillisinä. Viimeksi mainittu voidaan käsittää kolmella tavalla. Ensinnäkin se voidaan ymmärtää pyrkimyksenä määritellä jokin filosofinen aihealue, kuten estetiikka, etiikka, logiikka, metafysiikka tai teologia täsmällisemmässä ja tiukemmin määritellyssä muodossa. Tällainen oli tyypillistä skolastisille filosofeille sekä Gottfried Leibnizin ja Baruch Spinozan järjestelmille. Toiseksi se voidaan käsittää jonkin matemaatikon tai matemaatikkoyhteisön työfilosofiana. Kolmanneksi sen voidaan katsoa viittaavan matemaattisen filosofian lähestymistapaan, jota Bertrand Russell sovelsi teoksessaan "Introduction to Mathematical Philosophy" ("Johdanto matemaattiseen filosofiaan").