Thordis V.
W:O:A Metalgod
Original geschrieben von Odin
Klar, dass kommt von den Peano-Axiomen:
ich zitiere:
Die natürlichen Zahlen bilden eine Menge N, in der ein Element 0 ausgezeichnet ist und für die es eine Abbildung v: N->N\{0} gibt mit folgenden Eigenschaften:
(N0): v ist injektiv
(N1): Enthält eine Teilmenge N' von N das Element 0 und mit n auch v(n), so gilt N'=N
Bemerkung a) Für n aus N heißt v(n) Nachfolger von n und v ist die Nachfolgerfunktion. Ferner ist 0 die einzige natürliche Zahl, welche nicht Nachfolger einer natürlichen Zahl ist, d.h., die Abbildung N->N\{0} ist surjektiv, also, wegen (N0) bijektiv.
Statt 0, v(0), v(v(0)), v(v(v(0))),... schreibt man üblicherweise 0,1,2,3...
(Ende Zitat)
Dann lässt sich noch zeigen, dass n+v(m)=v(n+m) ist und dass n+0=n gilt und dann hast du:
2=v(v(0))=v(v(0)+0)=v(0)+v(0)=1+1
ich schick meinen Schatz auf die Uni damit ich das nicht dauernd hören muß und nun muß ich es schon lesen

Ich geb mich lieber mit empirischer Sozialforschung zum Verhalten von Frankfurter Würstchen in kochenden Wasser ab.
