Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Jede natürliche Zahl >1 ist ein Nachfolger

Jede natürliche Zahl >1 ist ein Nachfolger

Universität / Fachhochschule

Tags: Algebra, natürliche Zahlen, Peano-Axiome

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
anonymous

anonymous

13:31 Uhr, 21.10.2018

Antworten
Man soll zeigen, dass aus den Peano-Axiomen folgt: Jede natürliche Zahl>1 ist ein Nachfolger.

Man weiß (lt. Peano-Axiom):
.) es gibt keine natürliche Zahl, deren Nachfolger 0 ist
.) zu jeder natürl. Zahl n gibt es genau einen Nachfolger n' der auch eine natürliche Zahl ist


Für mich folgt "Jede natürliche Zahl>1 ist ein Nachfolger" aus diesen beiden Axiomen.


Kann man das jz aber noch irgendwie beweisen ? bzw noch genauer begründen ?


Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich bräuchte bitte einen kompletten Lösungsweg." (setzt voraus, dass der Fragesteller alle seine Lösungsversuche zur Frage hinzufügt und sich aktiv an der Problemlösung beteiligt.)
Online-Nachhilfe in Mathematik
Antwort
ermanus

ermanus aktiv_icon

13:49 Uhr, 21.10.2018

Antworten
Hallo,
du hast uns wohl ein drittes Axiom unterschlagen ;-)
Ich denke, dass man das benötigt, um die Aussage zu beweisen ...
Gruß ermanus
Antwort
ermanus

ermanus aktiv_icon

14:57 Uhr, 21.10.2018

Antworten
Um mein Problem zu konkretisieren:
Das, was wir mit n=4711 bezeichnen, soll ja wohl eine natürliche Zahl sein.
Das Einzige, was ich weiß, ist nach deinem zweiten Axiom, dass dann der Nachfolger
4711ʹ existiert, wofür wir die Bezeichnung 4712 einführen können.
Aber welches der beiden von dir genannten Axiome gestattet uns zu folgern, dass 4711
einen Vorgänger hat?
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.