Unendliche Grundmenge/Charakterisierung mit Ausdrucksmenge/Aufgabe

Zeige, dass es eine Ausdrucksmenge mit der Eigenschaft gibt, dass für jede Interpretation

genau dann gilt, wenn die Grundmenge der Interpretation unendlich ist.