## [Teoría Finitamente Axiomizable](/es/node/63981) Definición 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 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 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 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 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 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 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 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 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.