Gruppentheorie/Formallogische Version/Aufgabe
Man gebe die Gruppenaxiome in quantorenlogischer Gestalt an.
Eine Lösung erstellen