Assiomi di Peano: differenze tra le versioni

Versione delle 06:22, 2 dic 2005

Versione delle 14:27, 20 dic 2005

Riga 58:

''Dimostrazione'': un isomorfismo tra un qualunque sistema di Peano <math>(A,a_0,s)</math> e il sistema <math>(\mathbb N,0,S)</math> si ha considerando la biiezione <math>f:\mathbb N \to A</math> definita da:<br>

:<math>0 \mapsto x_0a_0</math><br>

:<math>1 \mapsto s(x_0a_0)</math><br>

:<math>2 \mapsto s(s(x_0a_0))</math><br>

:...<br>

:<math>n \mapsto s(s(...s(s(x_0a_0))...))</math> con <math>n</math> composizioni di <math>s</math>.<math>\square</math><br>

== Gli assiomi di Peano sono "ridondanti"? ==