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.
Zeige, dass es eine
Ausdrucksmenge
mit der Eigenschaft gibt, dass für jede
Interpretation
genau dann
gilt, wenn die Grundmenge der Interpretation unendlich ist.