[math-fun] Re: The Axiom of Choice for roots of z^2 + 1