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