Les nombres réels dénombrables

Héhéhé

C'est sur ce titre un brin provocateur que je partage un lien vers une présentation de Andrej Bauer "The countable reals" qui présente un topos dans lequel, si j'ai bien compris, les nombres réels (construits à la Dedekind) sont dénombrables. Je me suis dit que ça pouvait intéresser un certain nombre de personnes sur ce sous-forum.