Making the logical structure of a language explicit by replacing descriptive terms with variables (x,y,z). Formalization also involves formation rules and transformation rules. A formalized language is a language (in a metaphorical sense of the term) whose logical structure is explicit and completely formulated