Teoria (formale): in matematica, una teoria formale è un insieme di affermazioni espresse in un linguaggio formale (un insieme di simboli con delle regole di utilizzo). In un senso meno tecnico e rigoroso, con teoria matematica si intende un insieme di affermazioni (teoremi, proposizioni) che sono dedotti mediante determinate regole logiche da un insieme di assiomi.