/sci/ - Science & Math

>>10855684
Do you understand, in natural language words, the expression you try to proof?

Your OP pic says
[math] (\forall x)(\exists y)(x=y) [/math]
In words, "For any x, there is an y, such that x is y"?
Is this clear to you and is it clear why it's true?
For example,
"Let x by your left eye. Then there is some thing which we may label y, such that y is your left eye"
It's true because you may set "y" to "your left eye". And this works for anything.

Now what you need to do is to find out your rule for what will probably be denotes by [math] \exists I [/math] and then build up [math] (\forall x)(\exists y)(x=y) [/math] assuming [math] (\forall x) (x=x) [/math]

Give it a shot.