Addition natürlicher Zahlen < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 14:13 Fr 26.11.2010 | | Autor: | chris_hb |
| Aufgabe | | Man zeige: ist n [mm] \in \IN [/mm] und n [mm] \not= [/mm] so gibt es eine eindeutig bestimmte Zahl m [mm] \in \IN [/mm] mit m+1=n |
Hallo,
mir ist die rekursive Def. der Addition bekannt und auch die Peanoaxiome. Intuitiv ist mir auch klar, dass die zu zeigende Aussage korrekt ist. Das Problem, das ich habe ist dies zu zeigen? Wie muss man vorgehen?
Vielen dank und Grüße
Chris
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 14:30 Fr 26.11.2010 | | Autor: | leduart |
Hallo
nimm an es gibt ein [mm] m_1 [/mm] und [mm] m_2 [/mm] mit [mm] m_1\ne m_2 [/mm] und [mm] n=m_1+1 [/mm] und [mm] n=m_2+1 [/mm] und erzeug einen Widerspruch.
gruss leduart
|
|
|
|
