Axiom of Choice -- from Wolfram MathWorld