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