cuál es un lenguaje formal
El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados». Es una de las características esenciales del lenguaje científico. Incluso hay autores que llegan a opinar que la ciencia en sí misma no es más que un lenguaje. Esto es especialmente notable e importante en la lógica y las matemáticas.