Bonjour
Actuellement je travaille sur les ensembles infinis et plus particulièrement sur le théorème de Cantor.
Après lecture de plusieurs articles sur l'argument de la diagonale de Cantor, dont celui de wikipedia (), je m'interroge sur la demo de la non dénombrabilité des réels.
C'est une démonstration par l'absurde dont j'ai bien compris le principe.
En revanche je ne saisis pas l'argument de la diagonale : on construit un nombre qui ne peut pas être dans la liste des éléments déjà énumérés ! Certes, mais la liste est infinie, celui-ci pourrait être après. De plus il n'y a pas de notion d'ordre dans la liste de départ donc rien ne garantit que ce nombre ne se trouve pas dans la suite et ne serait pas dénombrable (au sens pas de bijection de N sur E).
merci
-----