Gruppentheorie/Formallogische Version/Aufgabe