Peano-Axiome/Positiver Polynomring/Kein Induktionsschema/Beispiel/Totale Ordnung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass in aus Beispiel durch , falls es ein mit gibt, eine totale Ordnung

gegeben ist.
Eine Lösung erstellen