Erstelle einen prädikatenlogischen Ausdruck α {\displaystyle {}\alpha } , der in einer Struktur genau dann gilt, wenn die Grundmenge der Struktur genau 4 {\displaystyle {}4} Elemente besitzt.
