3 ms·

I'm not sure your choice is the best. Axiom of choice is an axiom, not a theorem. In addition, axiom of choice is frequently stated (contrary to most other axio

by emil-lp 5mo ago

I'm not sure your choice is the best. Axiom of choice is an axiom, not a theorem. In addition, axiom of choice is frequently stated (contrary to most other axioms) in proofs and assumptions.