[MathSoc] About the axiom of choice