- #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: