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.1
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.