Welcome to our community

Be a part of something great, join today!

Basic arithmetic proof

agapito

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

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

All help appreciated, am
 

Evgeny.Makarov

Well-known member
MHB Math Scholar
Jan 30, 2012
2,488
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.