Théorème de relèvement
Dans le cas particulier de fonction de classe , on présente une preuve du théorème de relèvement.
Dans le cas particulier de fonction de classe , on présente une preuve du théorème de relèvement.
Voici un brouillon pour la preuve du résultat est non dénombrable, utilisant le procédé de la diagonale de Cantor: Le problème se ramène à prouver que l’intervalle est non dénombrable en utilisant le développement propre dans le système décimal d’un nombre réel.