## [Axiomatización](/es/node/63979) Definición Un conjunto finito o infinito de axiomas presentado como oraciones fundamentales a partir de las cuales se derivan las consecuencias de una teoría; una axiomatización genera una teoría por cierre bajo consecuencia lógica. ## Principio Principio Una axiomatización selecciona un conjunto generador de oraciones cuyo cierre lógico captura la clase de modelos pretendida; la elección de axiomas puede priorizar la minimalidad, la conveniencia o la computabilidad. ## Demostración Demostración Los grupos se axiomatizan por el conjunto finito de axiomas de grupo (asociatividad, elemento neutro, inversos); la clase de cuerpos de característica cero se axiomatiza por los axiomas usuales de cuerpos más infinitas oraciones que excluyen las características primarias. ## Aplicación incorrecta Aplicación incorrecta Confundir una lista arbitraria de oraciones verdaderas con una axiomatización — es decir, no comprobar si su cierre equivale en realidad a la teoría deseada — o insistir en una 'axiomatización canónica' cuando existen muchos conjuntos generadores no equivalentes. ## Consecuencia Consecuencia Una axiomatización explícita proporciona una base para sistemas de prueba, estudios de decidibilidad y construcciones de modelos; una axiomatización finita o compacta suele simplificar el razonamiento y la clasificación. ## Inversión Inversión En lugar de partir de axiomas y formar una teoría, se puede partir de una clase de estructuras y extraer una axiomatización (posiblemente infinita) compuesta por todas las oraciones verdaderas en esa clase. ## Límite Límite Se refiere a conjuntos de oraciones en una lógica formal especificada; no cubre automáticamente supuestos informales, restricciones metateóricas ni axiomatizaciones en lógicas más fuertes salvo que se indique. ## Tensión semántica Tensión semántica La tensión está entre axiomatizaciones mínimas (pocos axiomas, a menudo más abstractos) y axiomatizaciones pragmáticas (más largas, explícitas y fáciles de usar); ambas generan la misma teoría pero intercambian brevedad por concreción. ## Síntesis Síntesis Una axiomatización es una herramienta generadora: un conjunto elegido de oraciones cuyo cierre lógico reproduce una teoría, equilibrando minimalidad, expresividad y utilidad para caracterizar la clase de modelos deseada.