Hippopotame (./1891) :
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.

ben c'est facile, il suffit de prendre l'intersection de tous les ensembles d'entiers

dualmoo> ah oui tiens je viens d'aller voir son blog et il a parlé de ce genre de trucs y a pas longtemps...