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 - The Fusion of Science and Community**

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

Loading...

Similar Threads - exery exists equal | Date |
---|---|

I Equality in conditional probability | Jan 18, 2018 |

I No existence of Variance | Jan 7, 2017 |

I If Ramsey cardinals exist, all powers using Def are countable? | Jun 8, 2016 |

Salmon's 'proof' for the existence of the empty set | Nov 10, 2014 |

Covariance matrix does not always exist? | Dec 13, 2013 |

**Physics Forums - The Fusion of Science and Community**