Let be a collection of sets, all containing a common element for each .

Do we need the axiom of choice to show that ?

The reason I ask is because wikipedia says that we need the axiom of choice to prove the Baire Category Theorem and in the proof it gives on the page, I can't see where this would be if it wasn't in the above.