Bonjour,
Je cherche un lien vers la construction de l'ensemble R à partir de l'ensemble N, lui-même construit à partir de l'ensemble vide (par itération de l'application P(E), parties d'un ensemble).
Je ne retrouve que des constructions de N par itération de l'addition, mais cette construction ne me satisfait pas, et la construction que j'ai décrite plus haut ne va pas jusqu'à R. De plus, je désire savoir s'il existe des constructions purement ensemblistes des opérations usuelles (sans référence à une base). Je me suis amusé à effectuer ma propre construction mais elle n'est pas très élégante et fait justement référence à la base 10, avec les algorithmes usuels de changement de base pour les autres cas. Vous comprendrez que ça ne me satisfasse pas du tout.
Voilà. J'espère que vous m'aiderez et merci d'avance.
-----