## [No Axiomatizabilidad](/es/node/60130) Definición La propiedad de una clase de estructuras o de una propiedad semántica de no poder ser capturada por ningún conjunto único de axiomas efectivo (p. ej., recursivamente enumerable) o finito en un lenguaje formal dado; ningún sistema axiomático en ese lenguaje caracteriza exactamente la clase pretendida. ## Principio Principio Cuando la complejidad o la desajuste expresivo entre la propiedad y la lógica elegida impide una axiomatización recursiva o finita, la clase no es axiomatizable en esa lógica; cambiar la lógica o añadir recursos de orden superior puede alterar la axiomatizabilidad. ## Demostración Demostración La clase de todos los grafos finitos no es axiomatizable por sentencias de primer orden porque la finitud no es definible en la lógica de primer orden; de modo análogo, el conjunto de oraciones aritméticas verdaderas en el modelo estándar de la aritmética no es recursivamente enumerable, por lo que no es axiomatizable de forma efectiva. ## Aplicación incorrecta Aplicación incorrecta Confundir la no axiomatizabilidad con la indecidibilidad de oraciones individuales; una teoría puede no ser axiomatizable aunque algunos problemas de decisión sobre sus miembros sean decidibles, y viceversa. ## Consecuencia Consecuencia La no axiomatizabilidad indica una limitación expresa genuina del formalismo elegido y motiva tanto lenguajes más potentes (segunda orden, infinitarios) como marcos semánticos alternativos para capturar la clase pretendida. ## Inversión Inversión La axiomatizabilidad es lo contrario: existe un conjunto finito o efectivamente enumerable de axiomas cuyos modelos son precisamente la clase en cuestión, permitiendo que una sola teoría capture la propiedad. ## Límite Límite La noción depende de la lógica ambiente (primer orden, segundo orden, orden superior), de si se exige efectividad (computabilidad) y de si se permiten esquemas axiomáticos infinitos en lugar de conjuntos finitos. ## Tensión semántica Tensión semántica La tensión surge entre el deseo de una axiomatización compacta y efectiva y la necesidad de mayor poder expresivo; existen compensaciones entre decidibilidad, completitud y recursos expresivos. ## Síntesis Síntesis La no axiomatizabilidad señala cuándo un lenguaje lógico elegido no basta por sí solo para captar una clase objetivo de estructuras o una propiedad semántica; revela ya sea la complejidad inherente de la clase o la necesidad de ampliar los recursos lógicos.