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

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

gegeben ist.