Formalization

The process of translating informal natural‑language arguments, concepts, or theories into a formal language or symbolic system (specifying syntax, semantics, and inference rules) so that statements and inferences are represented precisely and subjected to unambiguous analysis of validity, consistency, entailment, or computability.