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.
|
1 | [made Community Wiki] | ||
|
|
||||
|
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. |
||||