show/hide this revision's text 1 [made Community Wiki]

Most mathematicans know that the axiom of choice is independent from ZF axioms, but I guess most non-set-theorists don't know details of the proof.