Prädikatenlogik/Gruppen/Eindeutigkeit des inversen Elementes/Nicht aus Teilaxiomen/Aufgabe

Aus Wikiversity

Es seien die Gruppenaxiome und

also die Aussage, dass das inverse Element eindeutig bestimmt ist. Zeige, dass aus keiner echten Teilmenge folgt.