Numaralandiralagini varsayalim.
a1=0.a1,1a1,2a1,3...
a1=0.a2,1a2,2a2,3...
a1=0.a3,1a3,2a3,3...
⋮
an=0.an,1an,2an,3...
Simdi b=b1b2b3... olun oyle ki bi≠ai,i. O halde b tum ai'lerden farkli..
Not: burda mesela 0.1=0.9999... yani sonu surekli 9 olarak gidenleri icine katmasak da olur, cunku bunlar rasyonel sayi ve rasyonel sayilar numaralandirilabilir. O zaman altkumesi de numaralandirilabilir.