Plafond D'Expressivité

Une borne supérieure sur la classe de propriétés ou de structures qu'un langage logique ou un fragment peut définir ou distinguer dans un cadre syntaxique ou sémantique donné ; l'étendue maximale d'expressivité disponible sans changer l'appareil formel.