Hi I'm trying to describe the statement 5=5 using symbolic logic. I initially attempted to describe this into English as:
There is such a thing x and such a thing y, such that x is equivalent to y, iif for all x, x equals {a,b,c,d,e} AND for all y, y equals {a,b,c,d,e}.
and then more formally as:
(x)(y)((x=y)≡(∀x(x={ a, b, c, d, e}) ∧ ∀y(y={ a, b, c, d, e}))
Is this correct? Does it even make sense?