Autor |
Beitrag |
Kupfi
| Veröffentlicht am Mittwoch, den 25. Oktober, 2000 - 14:22: |
|
Sei M =IN U {...,a(-2),a(-1),a0,a1,a2,...}. Auf M definieren wir eine Nachfolgerfunktion durch v(k) =k+1 für natürliche Zahlen k, und v(ak)=a(k+1). Welche der Peanoaxiome gelten in M, welche nicht? Begründe die Antworten |
Zaph (Zaph)
| Veröffentlicht am Donnerstag, den 26. Oktober, 2000 - 20:49: |
|
Welches Axiom bereitet dir Probleme? |
|