En fait ce que dit hippo c'est que c'est difficile de trouver des axiomes définissant 1,2,3, ... sans définir aussi des trucs bizarres qui se comportent un peu comme des entiers mais qui n'en sont pas vraiment, au sens intuitif du terme. Cela dit c'est pas génant, juste quand on prouve des trucs sur 1,2,3,... ben en fait on prouve des trucs aussi sur ces choses non standard, mais qui peut le plus peut le moins.