Natürliche Zahlen/Ordnungsrelation/Verträglichkeit/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  1. Wir beweisen die Aussage duch Induktion über . Bei ist die Aussage klar. Für den Induktionsschritt müssen wir lediglich zeigen, dass die Aussage für gilt. Bei ist die Aussage klar, da der Nachfolger wohldefiniert ist. Bei ist nach Fakt  (3) und somit

    Dies zeigt zugleich, dass aus auch folgt. Da die Ordnung total ist, folgt somit auch aus die Beziehung .

  2. Wir führen Induktion nach , die Fälle sind klar. Es sei die Aussage für bewiesen. Dann ist mit dem Distributivgesetz, der Induktionsvoraussetzung und der Verträglichkeit mit der Addition