Proof Writing: Regarding an equivalent statement of the Axiom of Choice. (Tao, Analysis I: Exercise 8.4.2.)
65308
Axiom of Choice: Family of non-empty sets mutually disjoint or not?
6113
Proof of Strong principle of Induction (T. Tao Analysis I)
48030
Axiom of Choice: Where does my argument for proving the axiom of choice fail? Help me understand why this is an axiom, and not a theorem.
48615
Does the assertion that every two cardinalities are comparable imply the axiom of choice?
18287
Distinction between equality, logical equivalence and biconditionality.
132046
Looking for Cantor's original proof of the Cantor-Bernstein theorem that relies on the axiom of choice?
58631
Continuity and the Axiom of Choice
13074
Prove Logical Equivalence
65910
Reflexivity of equivalence relations
150385
The use of the Axiom of Choice in this proof of the sequence lemma
121847
Don't we need the axiom of choice to choose from a non-empty set?
83757
Is the following equivalent to the axiom of choice?
61671
Discrete Math: Writing Proofs
85770
What is the difference between ∀x(p(x) →q(x)) and ∀x(p(x) ∧q(x))?
152272
Can you explain the "Axiom of choice" in simple terms?
12449
How to formulate continuum hypothesis without the axiom of choice?
134319
When induction proofs need a choice function