Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
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.
