Mathematische Logik/Gemischte Satzabfrage/11/Aufgabe/Lösung

Es sei ein Symbolalphabet ${}S$ ${}S$ einer Sprache erster Stufe gegeben und es seien ${}x_{1},\ldots ,x_{k}$ ${}x_{1},\ldots ,x_{k}$ paarweise verschiedene Variablen und ${}t_{1},\ldots ,t_{k}$ ${}t_{1},\ldots ,t_{k}$ fixierte ${}S$ ${}S$ -Terme. Es sei eine ${}S$ ${}S$ -Interpretation ${}I$ ${}I$ gegeben. Dann gelten folgende Aussagen.
1. Für jeden ${}S$ -Term ${}s$ gilt
  ${}I\left(s{\frac {t_{1},\ldots ,t_{k}}{x_{1},\ldots ,x_{k}}}\right)=\left(I{\frac {I(t_{1}),\ldots ,I(t_{k})}{x_{1},\ldots ,x_{k}}}\right)(s)\,.$
2. Für jeden ${}S$ -Ausdruck ${}\alpha$ gilt
  $I\vDash \alpha {\frac {t_{1},\ldots ,t_{k}}{x_{1},\ldots ,x_{k}}}{\text{ genau dann, wenn }}{\left(I{\frac {I(t_{1}),\ldots ,I(t_{k})}{x_{1},\ldots ,x_{k}}}\right)}\vDash \alpha .$
Es sei ${}V$ eine Menge an Aussagenvariablen und ${}\Gamma \subseteq L^{V}$ eine Teilmenge der zugehörigen Sprache der Aussagenlogik. Es sei ${}\alpha \in L^{V}$ . Dann ist
$\Gamma \vdash \alpha {\text{ genau dann, wenn }}\Gamma \vDash \alpha .$
Es sei ${}\Gamma$ eine arithmetische Ausdrucksmenge, die widerspruchsfrei und entscheidbar sei und die Peano-Arithmetik umfasse. Dann ist die Widerspruchsfreiheit ${}WF(\Gamma )$ nicht aus ${}\Gamma$ ableitbar, d.h. es ist
$\Gamma \not \vdash WF(\Gamma ).$