When a mathematical result requires the axiom of choice, this fact is often stated explicitly.

• 在数学成果要求选择公理的时候,有时明显的这么声明。