I am trying to prove that axioms A1, A2, A3, A4, M2, D hold.
so A1 :
$$ a+b=b+a$$ $$x+x+x+x=x+x+x+x$$ $$4x=4x$$ Am I on the right way?
I am trying to prove that axioms A1, A2, A3, A4, M2, D hold.
so A1 :
$$ a+b=b+a$$ $$x+x+x+x=x+x+x+x$$ $$4x=4x$$ Am I on the right way?