Modell

Eine Interpretation (ein Universum zusammen mit Zuweisungen für die nichtlogischen Symbole einer Sprache), die eine bestimmte Formel, eine Menge von Formeln oder eine ganze Theorie wahr macht; man spricht von einer Struktur, die diese Aussagen erfüllt.

Eine mathematische Struktur, die den Symbolen einer formalen Sprache (einer Signatur) Bedeutungen zuordnet — ein Trägermenge zusammen mit Interpretationen für Konstanten, Funktionen und Relationen — sodass Formeln der Sprache in dieser Struktur als wahr oder falsch bewertet werden können.

Eine mathematische Struktur, bestehend aus einer Trägerset sowie Interpretationen der Symbole einer formalen Signatur (Konstanten, Funktionen, Relationen), die in dieser Struktur alle Formel der gegebenen Theorie wahr macht.