Gruppentheorie/Formallogische Version/Aufgabe

Man gebe die Gruppenaxiome in quantorenlogischer Gestalt an.