# How to deduce Axiom Schema of Replacement from Axiom of Separation? [duplicate]

I have two questions regarding this issue.

1. In addition to Axiom Schema of Replacement, Which axioms do we need to deduce Axiom of Separation?

2. How to deduce Axiom of Separation from Axiom Schema of Replacement?

Axiom of Separation: $\forall w \forall x \exists y \forall z [z \in y \iff (z \in x \land \varphi(z, w, x ) )]$

Axiom Schema of Replacement:$\forall w \forall A [ (\forall x \in A \implies \exists ! y \varphi(x,y,w, A)) \implies (\exists B \forall x (x \in A \implies \exists y \in B \varphi(x,y,w, A)))]$

Many thanks!

• Perhaps you should edit the title ;) – Maxime Ramzi Dec 22 '17 at 17:40

Hint : consider $\psi(x,y, w, A) : x=y\land x\in A \land \phi(x, w, A)$
• Hi @Max, I can interpret the role of $x$ as $\psi(x,y, w, A)$ holds true for $x, y, w$. Can you interpret the role of A in $\psi(x,y, w, A)$? Is it redundant to include both $x$ and $A$ in $\psi(x,y, w, A)$, since $x$ is clearly in $A$. – LAD Dec 23 '17 at 2:52
• But from math.stackexchange.com/questions/932781/…, and from en.wikipedia.org/wiki/…, they both include $\color{blue}{A}$ into $\varphi(x,y,\vec{w}, \color{blue}{A})$! Please clarify my doubt! – LAD Dec 23 '17 at 9:36
• Sorry I thought you meant when I wrote $x\in A$. For the $A$ in the formula, it's surely not dedundant, but finding examples where it isn't may be tough. By the way I just took a look at your axiom of replacement and there's something wrong with it : it shouldn't be "$\forall x\in A, \exists ! y$ blabla" but "for all $x\in A$, there's at most one $y$ blabla" – Maxime Ramzi Dec 23 '17 at 9:42
• Well it's not wrong, it's another version; less useful in practice. Now that I think about it, with a slight adjustment you can still deduce the axiom schema of separation from it, but not as easily as what I did (there must be a case distinction). There's no designated "consensual" symbol. Sometimes people use $\exists^{\leq 1} y$ (which is an abbreviation, like $\exists !$) – Maxime Ramzi Dec 23 '17 at 9:59