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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien die Gruppenaxiome und

also die Aussage, dass das inverse Element eindeutig bestimmt ist. Zeige, dass aus keiner echten Teilmenge folgt.
Eine Lösung erstellen