# Math Help - Formal proof

1. ## Formal proof

Does anyone know how to give a formal proof of number theory

2. Originally Posted by miz.perfect84
Does anyone know how to give a formal proof of the following:

Q ∃y (y y) = (y + y)
Hi,

I'm none to familiar with some of the symbols you've used (primarily, "", and what is "y"). Could you perhaps use some more words, or type it in LaTeX?

Thanks