Zorn's Lemma implies the Axiom of Choice
69337
Zorn's Lemma And Axiom of Choice
144899
Do We Need the Axiom of Choice for Finite Sets?
127886
Artin's lemma and some morphisms.
14550
Every Hilbert space has an orthonomal basis - using Zorn's Lemma
155890
Does Bezout's lemma work both ways.
3902
Does $k+\aleph_0=\mathfrak{c}$ imply $k=\mathfrak{c}$ without the Axiom of Choice?
137203
Measurable cardinal existence condition
139337
Ultrafilter Lemma implies Compactness/Completeness of FOL
152272
Can you explain the "Axiom of choice" in simple terms?
142219
Does the splitting lemma hold without the axiom of choice?
153634
A statment about the equivalence between the Axiom of Choice and the surjectivity of the projections.
21202
Axiom of choice is equivalent to every relation includes a function with the same domain
61747
Proof of exchange principle in set theory
155207
Confusion regarding one formulation of the Axiom of Choice.
17624
Axiom of Choice iff Every set has a choice function
20252
The Axiom of Choice and the Cartesian Product.
14496
Is there any example of a non-measurable set whose proof of existence doesn't appeal to the Axiom of choice?