Bonsoir,
J'aurai une question de définition (et de curiosité ^^) qui pourra en faire râler certains...
Comment est ce qu'on définit un entier naturel ? (enfin le premier car les autres sont définit par récurrence), donc comment définit - on le nombre 1 formellement ?
J'ai appris une définition (il y a quelque temps) lors d'un travail sur les nombres ordinaux : on peut définir le nombre 1 comme l'ensemble de l'ensemble vide et par récurrence un entier naturel comme l'ensemble des entiers naturels qui le précède (une des propriété des nombres ordinaux).
Cependant, j'aimerais savoir, s'il existe d'autres définitions existante d'un entier naturel ou plus généralement de l'ensemble des entiers naturels ?
Merci pour vos réponses ou toute précision ^^