Dans le Livre 3 (Arithmétique élémentaire), nous avons donné une description axiomatique des ensembles de nombres $\mathbb Z$ et $\mathbb Q$ à partir des axiomes de Peano et de la structure opératoire naturellement définie sur $\mathbb N$ à partir de ceux-ci, en procédant par une axiomatisation élémentaire de l’addition pour $\mathbb Z$, de la multiplication … Lire la suite de La droite réelle $\mathbb R$ [C1.IV.1]