Hola. Estoy tratando de pulir algunos conceptos. Les quería preguntar si sería correcto decir lo siguiente:
. La lógica se formaliza estableciendo reglas que dicten cuándo es válido deducir ciertas proposiciones de otras, sin atender al contenido o significado de las proposiciones.
. Una axiomática se formaliza expresándola en un sistema formal. Un sistema formal se desarrolla usando un lenguaje formal y una axiomática de la lógica.
. Un concepto se formaliza dando una axiomática o lista de axiomas sobre el mismo.
. Formalizar algo, al fin y al cabo, consiste en poner atención en ciertas cualidades de ese algo y dejar de lado a las demás.
Saludos.
