$x+1\neq x$ just follows from $\phi (x)$ but the former one is a problem. You will need a double induction to show that $x+y\not\in x$.