Matematiikka on
deduktiiviseen päättelyyn perustuva formaali eli käsitteellinen tiede. Matematiikassa tutkitaan muun muassa
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.