Una teoría que es lógicamente equivalente a una teoría dada por un conjunto finito de axiomas en el mismo lenguaje; es decir, su conjunto de consecuencias coincide con el cierre de alguna axiomatización finita.

Principio

La axiomatizabilidad finita expresa cuándo un contenido conceptual infinito puede generarse a partir de una base finita; es una propiedad sintáctica que refleja la compacidad y la expresabilidad en la lógica elegida.

Demostración

La teoría de primer orden de los grupos es finitamente axiomizable porque una lista finita de axiomas de grupo la genera; en contraste, la clase de cuerpos de característica cero no es finitamente axiomizable en lógica de primer orden, ya que afirmar 'la característica no es p para ningún primo p' requiere infinitas oraciones.

Aplicación incorrecta

Asumir la axiomatizabilidad finita a partir de presentaciones abreviadas sin demostración, o suponer que la axiomatizabilidad finita implica decidibilidad o completitud, lo cual no tiene por qué ser cierto.

Consecuencia

Cuando una teoría es finitamente axiomizable, a menudo se puede presentar una base compacta para pruebas y obtener resultados de clasificación más sencillos; las bases finitas también son más manejables en razonamiento automático.

Inversión

Una teoría no finitamente axiomizable puede ser, sin embargo, recursivamente axiomatizable o axiomatizable por un conjunto infinito pero recursivamente enumerable; invertir la propiedad destaca diferencias entre finitud, recursividad y definibilidad.

Límite

La noción es relativa a la lógica y el lenguaje usados (p. ej. primer orden); una teoría puede ser finitamente axiomizable en un lenguaje más rico o en una lógica más fuerte aun cuando no lo sea en el original.

Tensión semántica

La tensión surge entre la axiomatizabilidad finita y propiedades modelo‑teóricas como la compacidad: la compacidad impide que ciertas propiedades globales se capturen finitamente, creando un intercambio entre expresividad y presentación finita.

Síntesis

Una teoría finitamente axiomizable es aquella cuyo contenido deductivo total puede generarse de forma compacta a partir de un número finito de oraciones en el mismo lenguaje formal, propiedad que influye en la práctica de las pruebas y en la clasificación de modelos.