3 ms·
Are the proofs in [2] relying in the excluded middle? Like, "because I don't have the axiom of choice, and you would need axiom of choice to prove it true, it m
by kazagistar 11y ago
Are the proofs in [2] relying in the excluded middle? Like, "because I don't have the axiom of choice, and you would need axiom of choice to prove it true, it must be false" or something? I guess I am just confused how less axioms can lead to more results.
- joe_the_user 11y agoWell, Most of the examples are all the lines of "without the axiom of choice, one could assume X and not reach a contradiction" - you could assume you had an infinite set with no countably infinite subsets etc. Which is a little different than the OP, which says something must exist. Within reason, more axioms increase the number of things that definitely are the case but fewer axioms increase the number of things that might be the case.