Pouvoir Expressif

Mesure de l'étendue des propriétés, distinctions ou structures qu'un langage logique ou un formalisme donné peut définir ou capturer sur une classe de structures ; on le compare souvent en vérifiant si les formules d'un langage se traduisent dans un autre en conservant la vérité sur toutes les structures considérées.