Mais même avec ceci, je ne suis pas sûr que tu définisses l'ensemble N.
Par exemple, la classe des ordinaux vérifie aussi ces axiomes. Ou même l'ensemble R+ (si on prend comme successeur la fonction +1).
Il faudrait rajouter un axiome du genre: "N est un ensemble minimal vérifiant ces axiomes (il n'existe pas de sous-partie vérifiant ces axiomes)".
Ou alors peut-être : "tout n≠0 est un successeur"... Mais non parce qu'alors R privé des entiers strictement négatifs fonctionnerait.
Par exemple, la classe des ordinaux vérifie aussi ces axiomes. Ou même l'ensemble R+ (si on prend comme successeur la fonction +1).
Il faudrait rajouter un axiome du genre: "N est un ensemble minimal vérifiant ces axiomes (il n'existe pas de sous-partie vérifiant ces axiomes)".
Ou alors peut-être : "tout n≠0 est un successeur"... Mais non parce qu'alors R privé des entiers strictement négatifs fonctionnerait.
C'est que de l'amour putain !
Bon en fait t'es un vieux troll puant je next je pensais pas perdre du temps
Aya je suis même pas l'OP abruti
