Aufgabe:
Es sei N die Menge definiert durch die Peano-Axiome. Beweisen Sie unter
Verwendung der Axiome von Peano:
Für jedes m ∈ N, gilt m′ ungleich m.
Hier bezeichnet ′
: N → N die Nachfolgerfunktion.
Problem/Ansatz:
Mein Problem ist, dass ich nicht weiß wie ich die Aufgabe bearbeiten soll. Kann da jemand helfen?
