I'm having problems with this statement in first-order logic with equality:(adsbygoogle = window.adsbygoogle || []).push({});

[tex]\forall x \exists y . x = y[/tex]

For every element x there exists element y equal to that one. This seems obviously correct.

My questions: Is this an axiom? If not, how to proove it from other equality axioms?

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# For exery x exists y equal to x

**Physics Forums | Science Articles, Homework Help, Discussion**