Tout a fait.
Rien de l'hypothèse n'est violé par la construction. C'est ce que tu n'as pas l'air de comprendre. Effectivement, la construction (et le fait qu'elle apporte une contradiction) revient a une étape a construire x comme modification de lui même à une certaine décimale. Mais c'est une construction tout a fait licite du fait de la méthode employée, qui ne viole en rien l'hypothèse R est dénombrable.
A+,