Ausdrucksmenge/Existenzaussage/Variablen/Keine Beispiele/Aufgabe

Zeige, dass es eine widerspruchsfreie, unter Ableitungen abgeschlossene Ausdrucksmenge  $\mathrm{\Gamma }\subseteq L^S$  geben kann, wobei die Variablenmenge aus $x_n$, $n\in \mathbb{N}$, besteht, derart, dass es einen Ausdruck $\alpha$ mit  $\mathrm{\exists }{x}_0\alpha \in \mathrm{\Gamma }$  und  $\mathrm{\neg }\alpha \frac{x_n}{x_0}\in \mathrm{\Gamma }$  für alle  $n\in \mathbb{N}$  gibt.

Eine Lösung erstellen