"formelt språk" er et 13-bokstavers substantiv som brukes som synonym for "objektsspråk". objektsspråk betyr: Språk med strenge regler, ofte brukt i logikk og matematikk.