The Axiom of Choice is probably the cause of more anxiety and unproductive
disputation than any other proposition of pure mathematics.
Even the minority of mathematicians who can state it correctly
(and who profess to believe it) generally do not know when they are using
it (or not using it) nor what purpose it serves nor what it means.
In this talk I offer a non-partisan account for the working
pure mathematician. It will not be heavily technical: I assume
mathematical maturity but no specific skills.