Sei x = 〈 G1, …, Gκ, A1, …, Aμ, R1, …, Rν 〉 ein Modell für eine Theorie T. Wir fügen dem Modell eine zusätzliche Relation R ‘ hinzu: x ‘ = 〈 G1, …, Gκ, A1, …, Aμ, R1, …, Rν, R ‘ 〉.
a) Typisieren Sie R ‘ so, dass R ‘ ein Element aus einer Potenzmenge von G1 × … × Gκ ist. Formulieren Sie die Typisierung τ ‘ ( G1, …, Aμ ) für R ‘ im Detail.
b) Fügen Sie dem Modell die Hypothese (H1) hinzu, welche besagt, dass R ‘ mit G1 × … × Gκ identisch ist.
c) Ersetzen Sie die Hypothese (H1) durch die Hypothese (H2) R ‘ ≠ und R ‘ ∈ τ ‘ ( G1, …, Aμ ).
d) Interpretieren Sie die beiden so beschriebenen Möglichkeiten inhaltlich.