Región en el espacio de especificaciones, propiedades o modelos donde un lenguaje o formalismo dado no puede capturar ciertas propiedades o relaciones; dichas propiedades no son definibles dentro de la sintaxis y semántica del lenguaje.

Principio

La expresabilidad está restringida por la sintaxis (constructores, cuantificadores, modalidades disponibles) y la semántica (clase de modelos, interpretaciones permitidas); cuando estas restricciones no permiten las fórmulas discriminantes requeridas, surge una zona de no expresabilidad.

Demostración

La lógica de primer orden sobre grafos no puede expresar la 'conectividad' del grafo mediante una única fórmula en la clase general de grafos finitos; por ello, la conectividad se encuentra en la zona de no expresabilidad para la lógica de primer orden sin operadores adicionales.

Aplicación incorrecta

Declarar una propiedad no expresable cuando el fragmento elegido simplemente carece de un encoding conveniente —por ejemplo, ignorando teoremas de definibilidad o semánticas alternativas que permitirían la expresión— confunde la no expresabilidad real con pereza representacional.

Consecuencia

Reconocer tal zona motiva extender el lenguaje (añadiendo puntos fijos, cierre transitivo o características de orden superior), cambiar la semántica o adoptar estrategias de aproximación cuando la expresión exacta sea imposible.

Inversión

Zona De Expresabilidad: la región complementaria donde el lenguaje admite fórmulas explícitas o construcciones para definir exactamente las propiedades objetivo.

Límite

Depende del lenguaje elegido, su semántica y la clase de modelos; una propiedad puede no ser expresable en un formalismo pero sí expresable en otro más potente, por lo que la zona es relativa y no absoluta.

Tensión semántica

Tensión entre no expresabilidad e indecidibilidad: una propiedad puede ser expresable pero indecidible, o no expresable pero fácilmente aproximable; ambos conceptos se solapan pero tratan limitaciones diferentes.

Síntesis

Una Zona De No Expresabilidad identifica dónde un formalismo carece fundamentalmente de recursos para enunciar ciertas propiedades; orienta a fortalecer el lenguaje, cambiar semánticas o aceptar aproximaciones según los requisitos.