$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$.
Bugs Bunny
- 12.3k
- 1
- 30
- 65