# Systematic review of the uses of the axiom of choice

Is there some systematic study of which mathematical results requires the axiom of choice? A book or a review article. I don't mean only results without which some areas of mathematics would be hard to work with (for example, that $\mathbb{R}$ is Fréchet whose demonstration relies on the axiom of choice if I am not mistaken). But also the various kind of "monster" made possible by the axiom of choice (for example, non-Lebesgue-measurable subsets of $\mathbb{R}$).