J'avais un moment essayé de dévellopé un formalisme qui reprénne un peu les dévellopements limités..
on poserait comme base
inf=Card(N)
2*inf=Card(Z)
A partir de là, on en déduirait
Card(R) en utilisant le fait que chaque réél peut s'écrire comme une suite infini de puissance d'une base par un multiple modulo cette base (style 12=(1*10)+(2*1)+(0*0.1)...
Le Card des bases possibles est Card(N) et, en fonction de cela des formule de combinatoire pourrait donné Card(R) en donnant le nombre de valeur possible par les chiffres, (pour une base b, cela donne (b^(2*inf)) en sachant qu'un réél s'écrit de plusieur façon selon la base ...
Là, le talent me manque.. je dirait un peu au pif inf*ln(inf)...
Pouvez vous m'aider ?
-----