Formalización

¿Que es una formalización?

En lógica, formalizar, en este sentido, significa modelar formalmente (es decir, producir un modelo formal de) una proposición, argumento, teoría o lenguaje, para explicar o entender mejor sus propiedades y relaciones lógicas como validez, consistencia, consecuencia lógica, incompatibilidad, etc.