Formalization

The translation of a proposition or body of propositions into a more more language, such as that of mathematics or symbolic logic, usually in order to clarify or explicate the information content, as in the matheme of Lacan.