Bonjour à tous,
D'après ce que j'ai compris, l'on peut construire l'ensemble des entiers naturels par les axiomes de Peano, c'est-à-dire qu'il existe un triplet, avec 0 un élément de l'ensemble
et S une application injective de
dans
, telle que
(S est l'application succession) ; de plus, si 0 appartient à un ensemble A, et si
, alors
.
Je suis d'accord querépond à ses axiomes, mais est-il ainsi défini de manière unique ? Et S ne présuppose-t-elle une définition d'ordre dans
?
Merci d'avance
Phys2
-----