Matematikk kan også betraktes som et formelt språk, med egne symboler, tegn og terminologi, der formalismen blir brukt til å beskrive abstrakte objekter, relasjoner og strukturer. En matematisk teori er en noenlunde helhetlig kunnskapsmengde, basert på matematiske begrep og uttrykt i et matematisk språk. Matematiske teorier blir verifisert i en streng deduksjonsprosess, ut fra spesifiserte aksiomer og definisjoner.