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

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

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

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

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

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

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

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

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.