Termmenge/Selbstinterpretation/Aufgabe

Es sei ${}S$ ein Symbolalphabet (das mindestens eine Variable enthalte)

einer Sprache erster Stufe und ${}T$ die zugehörige Termmenge. Zeige, dass man ${}T$ als Grundmenge einer Interpretation von ${}S$ nehmen kann, indem man Variablen, Konstanten und Funktionssymbole „natürlich“ und Relationssymbole willkürlich interpretiert.

Eine Lösung erstellen