Expressivitätsbarriere

Eine formale Grenze innerhalb einer gegebenen logischen Sprache oder eines Fragments, jenseits derer zusätzliche semantische Unterscheidungen oder Eigenschaften nicht ausgedrückt werden können, ohne die Sprache zu ändern (Hinzufügen von Quantoren, Prädikaten oder höherordentlichen Merkmalen) oder zusätzliche rechnerische Komplexität in Kauf zu nehmen.