Dedekind-Peano-Axiome/Nachfolger/Iterationen/Fixpunktfrei/Aufgabe

Begründe aus den Dedekind-Peano-Axiomen die folgenden Eigenschaften.

  1. Für die Nachfolgerabbildung gilt

    für alle .

  2. Es sei fixiert und sei

    die -fache Hintereinanderschaltung der Nachfolgerabbildung. Zeige

    für alle .