Peano-Axiome/Nachfolger/Fixpunktfrei/Antiperiodisch/Aufgabe

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.