Axiom of choice and first order logic
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.
56191
How to demystify the axioms of propositional logic?
142840
Open axioms of equality
27600
Gödel's (in)completeness theorems and the axiomatization of Euclidean geometry
152272
Can you explain the "Axiom of choice" in simple terms?
9493
While proving a universal quantification, we begin by "Let ... in ..." or "Arbitrary choose ..."?
139866
What are the Axiom of Choice and Axiom of Determinacy?
155207
Confusion regarding one formulation of the Axiom of Choice.
149464
Question about translating English to first order logic?
87928
Proof of logical equivalence of biconditional and other proposition
18968
Converting English into first order predicate logic
150451
Logic soundness and completeness
121847
Don't we need the axiom of choice to choose from a non-empty set?
118189
Proving the pairing axiom from the rest of ZF
134319
When induction proofs need a choice function
157490
Statements equivalent to the Axiom of Choice
7214
Does linear ordering need the Axiom of Choice?