3 ms·
What about ZF; which is ZFC without the axiom of choice, and notably not ZF¬C, which is ZF with the negation of choice.
by gizmo686 4y ago
What about ZF; which is ZFC without the axiom of choice, and notably not ZF¬C, which is ZF with the negation of choice.
- syzarian 4y agoIn a given model of ZF either choice is true or it is false. In the absence of the Axiom of Choice you can’t say that not all fields have algebraic closures. What you can say is that there is a model in which there are fields with no algebraic closure.