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
Formalismin mukaan matemaattisia väittämiä voidaan pitää väittäminä, jotka koskevat tiettyjen merkkijonojen käsittelysääntöjen seuraamuksia. Esimerkiksi ”pelissä” nimeltä Euklidinen geometria (joka koostuu ”aksioomiksi” kutsutuista merkkijonoista sekä ”päättelysäännöistä”, joiden avulla annetuista merkkijonoista voidaan tuottaa uusia merkkijonoja) voidaan todistaa, että Pythagoraan lause pätee (eli voidaan tuottaa merkkijono, joka vastaa Pythagoraan lausetta). Matemaattiset totuudet eivät koske lukuja, joukkoja, kolmioita ja niin edelleen — eivätkä oikeastaan mitään todella olemassa olevaa.