Proving (x = y) using Axioms: Basic Arithmetic Proof

In summary, the axioms of Leibniz's law and reflexivity would need to be invoked in order for the expression (x = y) ----> [(y=x) <---> (y=y)] to hold. The truth of this formula in the standard interpretation for natural numbers does not involve any axioms, as any closed formula is simply either true or false. However, if you are referring to derivability, the theory of equality would need to be specified.
  • #1
agapito
49
0
Which axioms (at minimum) would have to be invoked so the following expression holds:

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

All help appreciated, am
 
Physics news on Phys.org
  • #2
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.
 

FAQ: Proving (x = y) using Axioms: Basic Arithmetic Proof

How do you prove that x = y using axioms?

To prove that x = y using axioms, you need to use the basic arithmetic proof method. This involves starting with the given equation x = y and using a series of logical steps, based on the axioms of arithmetic, to show that both sides of the equation are equal.

What are the axioms of arithmetic?

The axioms of arithmetic are the basic rules or assumptions that are used to define and prove mathematical equations. These include the commutative, associative, and distributive properties, as well as the identity and inverse properties for addition and multiplication.

Can you prove x = y using only the basic arithmetic axioms?

Yes, it is possible to prove x = y using only the basic arithmetic axioms. This is because the axioms provide a set of rules that can be used to manipulate equations and show that they are equivalent.

What is the importance of using axioms in mathematical proofs?

Axioms are important in mathematical proofs because they provide a solid foundation for proving theorems and equations. They are accepted as true without needing to be proven, and serve as the building blocks for more complex mathematical concepts.

Are there any limitations to using axioms in mathematical proofs?

While axioms are a powerful tool in mathematical proofs, they do have some limitations. For example, they may not be applicable to all mathematical systems, and some axioms may be based on assumptions that are not universally accepted. Additionally, axioms cannot prove every mathematical statement, and may require additional assumptions or axioms to prove certain equations.

Similar threads

Back
Top