No Axiomatizabilidad

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.