Formalización

Humanities & Arts Dictionary
El proceso de traducir argumentos, conceptos o teorías informales en lenguaje formal o un sistema simbólico (especificando sintaxis, semántica y reglas de inferencia) de modo que las proposiciones y las inferencias se representen con precisión y puedan someterse a un análisis no ambiguo de validez, consistencia, entailedo o calculabilidad.