0 Daumen
604 Aufrufe

Es sei (N, 0, S) ein Tripel natürlicher Zahlen. Folgern Sie aus den Peano-Axiomen, daß für alle k, n ∈ N die Implikation
S k(n) = n ⇒ k = 0
gilt.


Hier komme ich irgendwie nicht weiter, hat vielleicht jemand eine Idee schonmal im Vorhinein vielen Dank :)

Avatar von

was bedeutet das Sk(n)S^{k}(n)? Ist das SS hier die natürliche Zahl SS aus dem Tripel?

Ich schätze schon, oder

Das S(uccessor) ist höchstwahrscheinlich die Nachfolger-Funktion

Ok wie genau macht man das dann?

Also heißt Sk(n)=n    n=0S^{k}(n)=n \implies n=0 wenn der kk'te Nachfolger von nn gleich nn ist, dann ist k=0k=0. Das macht Sinn.

Die Frage ist dann noch, was das mit einem Tripel (N,0,S)(N,0,S) natürlicher Zahlen zu tun hat?

Ja ok. Schon mal vielen Dank für die Hilfe

@Werner ich denke damit ist gemeint dass die Menge N mit dem Anfangselement 0 und Nachfolgerfunktion S ein Modell der natürlichen Zahlen bilden.

Ein anderes Problem?

Stell deine Frage

Ähnliche Fragen

0 Daumen
1 Antwort
0 Daumen
0 Antworten
Gefragt 23 Okt 2023 von Raja Bz
0 Daumen
0 Antworten