Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Anordnung/Fakt/Beweis/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass man durch die Festlegung

falls

auf (dem Äquivalenzklassenmodell von) eine totale Ordnung erhält.

Zur Lösung, Alternative Lösung erstellen