3 ms·
Iiuc your examples are undecidable rather than true in ZF. That's why we can add Axiom of Choice without getting contradictions.
by im3w1l 6y ago
Iiuc your examples are undecidable rather than true in ZF. That's why we can add Axiom of Choice without getting contradictions.
- hansvm 6y agoWell, sure. Without choice there exist models of ZF where those properties hold. Adding choice precludes those models -- i.e., it restricts our axioms in a way which prevents certain kinds of unexpected results.