Axiom of choice? or other theorems?
37331
Prove that every set with more than one element has a permutation without fixed points
135957
Why in an inconsistent axiom system every statement is true? (For Dummies)
81509
The cardinality of a countable union of countable sets, without the axiom of choice
93040
$f$ is surjective iff it has a right inverse: using the axiom of choice and errors in ProofWiki
19414
Uncountable subset with uncountable complement, without the Axiom of Choice
12449
How to formulate continuum hypothesis without the axiom of choice?
139992
Is power-associativity finitely axiomatizable?
58189
Bolzano-Weierstrass Theorem Proof Abbott (Ax. of Choice)
65308
Axiom of Choice: Family of non-empty sets mutually disjoint or not?
98580
Lebesgue-measurable sets requiring the Axiom of Choice to construct
48615
Does the assertion that every two cardinalities are comparable imply the axiom of choice?
20252
The Axiom of Choice and the Cartesian Product.
132046
Looking for Cantor's original proof of the Cantor-Bernstein theorem that relies on the axiom of choice?
45623
Axiom of Choice: What exactly is a choice, and when and why is it needed?
104771
Dedekind's cut and axioms
56191
How to demystify the axioms of propositional logic?
17624
Axiom of Choice iff Every set has a choice function