Bonjour très cher Médiat
Citation Envoyé par Médiat Voir le message

Conservez cette idée, elle est juste, pour le démontrer, il suffit de dire que l'ensemble des éléments plus grand qu'un élément donné possède un plus petit élément qui est le successeur (mais ce n'est pas suffisant). Autrement dit, l'ordre naturel sur IR n'est pas un bon ordre ; avec l'axiome du choix, on sait qu'il existe un tel bon ordre, mais cela ne veut pas dire que l'on sait le construire.
Voilà pourquoi les mathématiques n'ont pas fini de m'émerveiller ! (j'imagine qu'il y a dû y avoir un débat sur le sujet avec les intuitionnistes)

J'ai peur que vous ne trouviez pas grand-chose, mais si c'est le cas, je suis intéressé
.

J'e n'ai pas eu suffisamment de temps pour l'instant pour chercher de façon approfondie. Mais je ne manquerai pas de vous tenir informé si je trouve quelque chose: mon petit doigt me dit que votre éclairage sera le bienvenu