Ausdrucksstärke

Ein Maß für den Umfang der Eigenschaften, Unterscheidungen oder Strukturen, die eine gegebene logische Sprache oder ein Formalismus auf einer Klasse von Strukturen definieren oder erfassen kann; Vergleiche erfolgen oft dadurch, ob Formeln einer Sprache in einer anderen übersetzbar sind, wobei Wahrheit in allen betrachteten Strukturen erhalten bleibt.