Salve, sto ripassando gli assiomi di Peano e avrei i seguenti dubbi:
la funzione successore è iniettiva, ok, ma la sua Immagine è tutto N-{0} ? Ho l'impressione che ci sia di mezzo il totale ordinamento o comunque il postulato di induzione ma non riesco a venirne a capo.
Postulato di induzione: se un sottoinsieme M di N eccetera... ma chi mi garantisce che esiste un tale sottoinsieme?
Ringrazio in anticipo per ogni delucidazione.