axiom of replacement implies axiom of specification
126870
Show that axiom of replacement implies from the Axiom of Specification [Proof Verification]
150451
Logic soundness and completeness
32642
The formalism behind integration by substitution
113065
Proving equivalences of statements equivalent to AC
69043
The equivalence relation generated by a relation
106799
Proof Verification: Converse of Intermediate Value Theorem
84562
Proof using only field axioms
126862
Confused about $x \notin x$ example in Axiom of Specification
83757
Is the following equivalent to the axiom of choice?
9158
Proving that a propositional theory of any cardinality has an independent set of axioms
12539
Set Theory: Equivalency of Axiom of Choice and Choice Function
152685
Parallel postulate from Playfair's axiom
77548
Given an arbitrary infinite set $S$, how to construct an injection $\mathbb{N} \to S$ with the Axiom of Choice?
31389
consistency of ZF\{Power Set axiom}
93040
$f$ is surjective iff it has a right inverse: using the axiom of choice and errors in ProofWiki
7865
Complete Newbie: Axiom of Foundation Exercise
104771
Dedekind's cut and axioms