Zone de Non-Expressibilité

Une région de l'espace des spécifications, propriétés ou modèles où un langage ou formalisme donné ne peut pas capturer certaines propriétés ou relations ; ces propriétés ne sont pas définissables dans la syntaxe et la sémantique du langage.