Unendliche Grundmenge/Charakterisierung mit Ausdrucksmenge/Aufgabe
Erscheinungsbild
Zeige, dass es eine Ausdrucksmenge mit der Eigenschaft gibt, dass für jede Interpretation genau dann gilt, wenn die Grundmenge der Interpretation unendlich ist.