En logique mathématique, une théorie formelle est un ensemble de phrases exprimées dans un langage formel.
La théorie mathématique qui traite les langues officielles en général est connue sous le nom de théorie formelle des langues.