On the status of the axiom of choice