Unendliche Grundmenge/Charakterisierung mit Ausdrucksmenge/Aufgabe

Zeige, dass es eine Ausdrucksmenge $\Gamma$ mit der Eigenschaft gibt, dass für jede Interpretation $I$ genau dann $I\models \Gamma$ gilt, wenn die Grundmenge der Interpretation unendlich ist.

Eine Lösung erstellen