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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

  1. Für die Nachfolgerabbildung gilt

    für alle .

  2. Sei fixiert und sei

    die -fache Hintereinanderschaltung der Nachfolgerabbildung. Zeige

    für alle .

Zur Lösung, Alternative Lösung erstellen