Gleichheit von Variablen/Allversion/Ableitbarkeit/Aufgabe

Es seien Variablen und und .

  1. Zeige (ohne Bezug auf den Vollständigkeitssatz) .
  2. Charakterisiere die Modelle mit .
  3. Zeige .