perso ça ne me parait pas intuitif, mais l'axiome de l'infini ne me parait pas intuitif non plus alors bon...