Peano-Axiome/Nachfolger/Fixpunktfrei/Antiperiodisch/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Modell für die Peano-Axiome für den Nachfolger.

  1. Zeige, dass fixpunktfrei ist, d.h. dass

    für alle .

  2. Zeige, dass periodenfrei ist. D.h. für jedes ist

    wobei

    die -fache Hintereinanderschaltung von bedeutet.

Zur Lösung, Alternative Lösung erstellen