Język sformalizowany – język, dla którego zostały spisane zasób terminów (słownik) i składnia logiczna.