Propiedad de una clase de estructuras o de una teoría: es axiomatizable finitamente si existe un conjunto finito de axiomas en el lenguaje elegido cuyos modelos son exactamente las estructuras de la clase (o cuyo cierre deductivo coincide con la teoría).

Principio

Una descripción finita basta para capturar la clase completamente dentro de los recursos expresivos del lenguaje; la finitud del conjunto de axiomas es la restricción clave, independiente de si la teoría es decidible o categórica.

Demostración

La clase de grupos es axiomatizable finitamente mediante una pequeña lista finita de axiomas de grupo (asociatividad, elemento neutro, inversos). En contraste, la aritmética de Peano no es axiomatizable finitamente en primer orden porque el esquema de inducción comprende infinitas instancias que no se pueden condensar en un número finito de axiomas.

Aplicación incorrecta

Inferir que la axiomatizabilidad finita implica decidibilidad, categorizidad o completitud de modelos; son propiedades independientes y un conjunto finito de axiomas puede definir una clase indecidible o no categórica.

Consecuencia

La axiomatizabilidad finita proporciona presentaciones sucintas, facilita comunicar la clase pretendida y puede simplificar cierto análisis metalógico; también afecta qué argumentos de compacidad o completitud son aplicables.

Inversión

Las clases no finitamente axiomatizables requieren esquemas infinitos de axiomas o recursos de orden superior para ser capturadas con precisión; estas clases suelen surgir de propiedades de cierre o restricciones combinatorias que no se pueden condensar finitamente.

Límite

Depende del lenguaje y la firma subyacentes y de si se permiten esquemas de axiomas, axiomas de segundo orden o fórmulas infinitarias; una clase no finitamente axiomatizable en primer orden puede serlo en un lenguaje más rico.

Tensión semántica

Tensión entre la axiomatizabilidad finita y la 'naturalidad' de los axiomas: un conjunto finito de axiomas puede resultar artificial o menos esclarecedor que una axiomatización infinita y esquemática que refleje mejor las estructuras pretendidas.

Síntesis

La axiomatizabilidad finita identifica cuándo una clase admite una presentación finita y sucinta en un lenguaje dado: es una propiedad sintáctica de compacidad que interactúa con la elección del lenguaje y otras características modelo‑teóricas, pero no determina por sí sola el comportamiento computacional o de clasificación.