Welcome to our community

Be a part of something great, join today!

Basic arithmetic proof


Apr 18, 2018
Which axioms (at minimum) would have to be invoked so the following expression holds:

(x = y) ----> [(y=x) <---> (y=y)] ?

All help appreciated, am


Well-known member
MHB Math Scholar
Jan 30, 2012
It is not clear what you mean by "hold". If you are referring to the truth of this formula in the standard interpretation for natural numbers, then no axioms are involved: any closed formula is simply either true or false. If you are referring to derivability of this formula, then you need to specify the theory from which you are deriving, e.g., theory of equality. I believe the left-to-right direction can be proved using Leibniz's law, and the right-to-left direction also requires reflexivity.