# More peano arithmetic.

• Jul 26th 2006, 05:59 PM
jenjen
Just One Last ?
Thank you soooooooo muchhhhh Captainblack. Without you, I won't be able to prove these laws of algebra. I have ONE LAST prove I can't prove. Will you pleaseeee helpp me on this one too? The axioms are still needed to prove this problem as well.

For every natural number i, for every natural number j, for every natural number k, i(j + k) = ij + ik.
• Jul 26th 2006, 08:36 PM
ThePerfectHacker
Quote:

Originally Posted by jenjen
Thank you soooooooo muchhhhh Captainblack.

---
Do you let me prove instead,
$(j+k)i=(ji)+(ki)$?--->Because CaptainBlank shown it was commutative.
If yes, then I have a prove (involving induction axiom) which I will post tomorrow because it is late here.
• Jul 27th 2006, 12:16 AM
CaptainBlack
Quote:

Originally Posted by jenjen
Thank you soooooooo muchhhhh Captainblack. Without you, I won't be able to prove these laws of algebra. I have ONE LAST prove I can't prove. Will you pleaseeee helpp me on this one too? The axioms are still needed to prove this problem as well.

For every natural number i, for every natural number j, for every natural number k, i(j + k) = ij + ik.

The first seven pages of this pdf document provideds the proofs of the basic
properties of arithmetic for Peano Arithmetic. Though with a slightly different
notation you can find the basic ideas needed to prove all the properties you