Sei T = 〈 Σ, …, M, …, I, …, D, … 〉 eine Theorie.
a) Beweisen Sie, dass T eine Spezialisierung von T ist.
b) Analysieren Sie, auf welchen Prämissen der Beweis in a) beruht. Ändern Sie die Spezialisierungsrelation so, dass a) nicht mehr gilt. Diskutieren Sie, welche der beiden Möglichkeiten Sie bevorzugen würden.