mod09lec55 - Application of the Baire Category theorem

We apply the Baire Category theorem to show that every dense G_delta subset of the real line must be uncountable. As a corollary, we obtain the uncountability of the reals, as well as any open or closed interval of the reals.