Formalismi on
matematiikan filosofian suuntaus, jonka 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.