Searching for links to AxiomOfChoice:

• Admin_NavigationBar
• MathematicsTaxonomy
• ZornsLemma