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