Ben si on rajoute pas les axiomes ensemblistes, la collection des entiers-peano est vachement plus grosse que la collection des entiers-ensemblistes (elle même plus grosse que la collection des entiers intuitifs), donc dans le tas apparaitront des suites qui convergent pas.