siehe gültige Aussage, wahre Formel.

In mathematischen Untersuchungen interessiert man sich oft auch nur für die Wahrheit oder Gültigkeit einer Aussage in einer konkreten algebraischen Struktur oder in einer fixierten Klasse verwandter Strukturen.