Definitions for "Formalization"
The process of translating arguments or sentences in natural languages into a formal language.
the act of making formal (as by stating formal rules governing classes of expressions)