Unafórmulaes una secuencia ocadena de caracterescuyos símbolos pertenecen a unlenguaje formal, de tal manera que la expresión cumple ciertas reglas debuena formacióny que admite una interpretación consistente en alguna área de lamatemáticay en otrossistemas formales.
Ésta tiene la finalidad de expresar una relación general entre los términos expresados en la fórmula.
En unsistema formal, unafórmula bien formada, también llamadaexpresión bien formada, y a menudo abreviadafbfoEBF, es unacadena de caracteresopalabragenerada según unagramática formala partir de unalfabetodado.
Unlenguaje formalse define como el conjunto de todas sus fórmulas bien formadas.