Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas.