 Since is countable, the Corollary implies that the union is countable.We use the axiom of countable choice in this proof to pick for each in a surjection from the non-empty collection of surjections from to .A topological proof for the uncountability of the real numbers is described at finite intersection property.