- #1
ver_mathstats
- 260
- 21
- Homework Statement
- Prove the identity of plus.
- Relevant Equations
- Declaration: O₁, O₂ : ℤ
Axiom “Left-identity of +”: x = O₁ + x
Axiom “Right-identity of +”: x = x + O₂
Now, prove the following.
Theorem “Identities of + are unique”: O₁ = O₂
Theorem “Identities of + are unique”: O₁ = O₂
Proof:
O₁
= Left Identity of +
O₁ + x
I'm a little confused where to begin this proof, I don't know if that is the first step either I think it is. Proofs are not a strength of mine so I struggle to see how to show that O₁ = O₂. Any guidance would be appreciated, thank you.
Proof:
O₁
= Left Identity of +
O₁ + x
I'm a little confused where to begin this proof, I don't know if that is the first step either I think it is. Proofs are not a strength of mine so I struggle to see how to show that O₁ = O₂. Any guidance would be appreciated, thank you.