Formaliser la droite des nombres réels

[IdenoMath]

Bonjour cher internaute,

Dans "Formaliser la droite des nombres réels", je décris un "schéma mental" spatial des nombres réels compatible avec leur définition formelle axiomatique.

http://s481105607.onlinehome.fr/Formali ... sReels.pdf

Si vous avez des commentaires ou références intéressantes, je suis preneur. D'ailleurs, si une "autorité mathématique" quelconque trouve le document intéressant, j'aimerais bien le savoir.

Bonne lecture peut-être,

IdenoMaths