axiom of choice- 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.