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.