Natürliche Zahlen/Zählen/Nachfolgerabbildung/Isomorphie/Wochentage/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Modell für die natürlichen Zahlen und es sei die Menge der Wochentage mit dem Montag als Starttag und dem Nachfolgetag als Nachfolgerabbildung.

  1. Zeige, dass der Beweis zu Fakt eine wohldefinierte Abbildung

    festlegt, die auf Montag abbildet und die Nachfolgerabbildung respektiert. Ist diese Abbildung surjektiv, ist sie injektiv? Wenn nicht, an welcher Stelle bricht der Beweis zusammen?

  2. Zeige, dass der Beweis zu Fakt keine wohldefinierte Abbildung

    festlegt, die die Nachfolgerabbildung respektiert und den Montag auf abbildet. An welcher Stelle bricht der Beweis zusammen?

Eine Lösung erstellen