Una prueba topológica para la incontabilidad de los números reales se describe en la propiedad de la intersección finita.