
Eukleidesin, yksityiskohta Rafael
teoksesta
Ateenan koulu
Matematiikka on deduktiiviseen päättelyyn perustuva
looginen järjestelmä. Siinä käsitellään
määriä, rakenteita, muutosata ja
avaruuksi. Matemaattisen formalismin mukaan matematiikka on
aksiomaattisestienen määriteltyjen
abstrakti 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.
Matematiikka ei tutki ympäröivää, fysikaalista todellisuutta, vaan käsitteellisiä riippuvuussuhteita. Tämän takia sitä ei yleensä lueta luonnontieteisiin. Vaikka matematiikan tutkimusongelmat tulevat usein luonnontieteistä, erityisesti fysiikasta, tutkitaan matematiikassa myös puhtaasti matematiikan sisäisiä alueita, joille ei välttämättä heti ole sovellusalueita millään muulla tieteenalalla. Tällaiset matematiikan sisäisten tutkimusten tulokset voivat antaa hyödyllisiä työkaluja muiden matematiikan alueiden tutkimuksissa.