I'm having problems with this statement in first-order logic with equality: [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?