a home page for the AXIOM OF CHOICE (math.vanderbilt.edu)The Axiom of Choice (AC) was formulated about a century ago, and it was controversial for a few of decades after that; it might be considered the last great controversy of mathematics. It is now a basic assumption used in many parts of mathematics.