Logik/Vollständigkeitssatz/Modellkonstruktion/Konsistente Terminterpretation/Fakt
Es sei eine Menge an -Ausdrücken (über einem Symbolalphabet ), die abgeschlossen unter Ableitungen ist.
Dann gilt für die Interpretation , wobei die in Fakt beschriebene Menge aus Termklassen (mit der natürlichen Interpretation von Konstanten, Funktionssymbolen und Relationssymbolen) und die natürliche Belegung für Variablen ist, die Beziehung
![{\displaystyle {}\beta (x)=[x]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1894eaf4e581d6206cbc499705911d51a5f974a2)
![{\displaystyle {}I(t)=[t]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9acea2c459c1e31cacb60a7cff4acb3bca5e9c11)
für alle Terme .
