Journal von Rolf Unterfenger | Lesung |
---|
Eins ist eine natürliche Zahl
Eins ist kein Nachfolger
ist x eine natürliche Zahl
so auch der Nachfolger von x
sind die Nachfolger von x und y gleich
so sind auch x und y gleich
ist M eine Teilmenge der natürlichen Zahlen
mit Eins und mit jeder Zahl auch deren Nachfolger
dann stimmt M mit den natürlichen Zahlen überein
© Rolf Unterfenger 1997  | Journal . Inhalt . Weiter |