- #1

- 430

- 0

**[LOGIC] Prove: (x ≤ y) → (x+z ≤ y+z)**

I need to prove if x≤y then x+z ≤ y+z (for all x, y and z)

Using these axioms (The first 17 are Tarski Arithmetic, and the following 7 are previously proved results)

All I can think of so far is using Axiom TA16, but then what?

Thanks

Last edited: