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

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

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

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

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

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

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

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

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.