- #1
Firepanda
- 430
- 0
y + (-x) = 0 → y = x
Need to do this in Tarski arithmetic, axioms below, as well as results below that which have been previously proved
I really have no idea how I can move this x over, can anyone help me out with a starting axiom?
Is it just TA4 that implies y=x? That simple? If it is then is it possible to do it another way with a bit more rigour?
Thanks
Need to do this in Tarski arithmetic, axioms below, as well as results below that which have been previously proved
I really have no idea how I can move this x over, can anyone help me out with a starting axiom?
Is it just TA4 that implies y=x? That simple? If it is then is it possible to do it another way with a bit more rigour?
Thanks
Last edited: