Feb 2, 2026
has the choice axiom in the zfc been decided
The axiom of choice () is independent of the other Zermelo–Fraenkel axioms (): Gödel and Cohen proved that, assuming ZF is consistent, both ZF+AC and ZF+¬AC are consistent, so AC cannot be proved or r...