Barrière D'Expressivité

Une limite formelle à l'intérieur d'un langage logique ou d'un fragment donné au-delà de laquelle des distinctions sémantiques ou des propriétés supplémentaires ne peuvent être exprimées sans modifier le langage (ajout de quantificateurs, de prédicats ou d'éléments d'ordre supérieur) ou sans accroître la complexité computationnelle.