What is the Axiom of choice
139866
What are the Axiom of Choice and Axiom of Determinacy?
78148
Why does the infinite prisoners and hats puzzle require the axiom of choice?
126870
Show that axiom of replacement implies from the Axiom of Specification [Proof Verification]
84394
Choice function for a collection of nonempty subsets of $\{0,1\}^\omega$
146188
Why does a proof of $\exists f: X\to Y$ injection $\iff \exists g: Y \to X$ surjection requires the axiom of choice?
12539
Set Theory: Equivalency of Axiom of Choice and Choice Function
106670
Existence of vector space complement and axiom of choice
132287
Axiom of Choice and Right Inverse
34674
Does the proof of Bolzano-Weierstrass theorem require axiom of choice?
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
135025
Axiomatization of a Topology using the Boundary
45623
Axiom of Choice: What exactly is a choice, and when and why is it needed?
147908
Why use the biconditional in the Axiom of Extensionality
49220
Open Sets of $\mathbb{R}^1$ and axiom of choice
115675
Strange consequences of Axiom of Choice in Zermelo set theory
9493
While proving a universal quantification, we begin by "Let ... in ..." or "Arbitrary choose ..."?