Em lógica matemática, uma fórmula bem formada, abreviadamente fbf, é uma expressão (por exemplo, uma sequência finita de símbolos de determinado alfabeto) que é parte de uma Linguagem formal. Uma linguagem formal pode ser considerada como um conjunto contendo todas e apenas suas fórmulas.