Axiom:Axiom of Choice/Formulation 3/Also known as

Axiom of Choice: Also known as
This form of the ' is sometimes called the '.