Un lenguaje formal en lógica o matemáticas es una tripleta formula_42 donde formula_43 denota el alfabeto o conjunto de signos usados, el conjunto de reglas formula_44 explica qué combinaciones de signos están bien definidas y permite definir lo que es una fórmula bien formada (en ese sentido formula_44 define la morfología de las palabras de la lengua formal).