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
Konstruktivismin mukaan matemaattisen entiteetin olemassaolon todistamiseksi se on välttämättä ensin löydettävä (tai ”konstruoitava”). Kuten intuitionismi, konstruktivismi katsoo, että matematiikkaan tulee hyväksyä vain sellaiset matemaattiset entiteetit, jotka voidaan eksplisiittisesti konstruoida tietyssä mielessä. Matematiikka ei ole merkityksettömillä symboleilla pelattua peliä, vaan koskee entiteettejä, jotka voimme luoda suoraan mentaalisen toiminnan kautta.