a-b=a+(-b)
definition of subtraction
a+(-a)=0
axiom of additive inverse
0+a=a
identity axiom of addition
-(a+b)=-a+(-b)
property of opposite of a sum
-(-a)=a
cancellation property of opposites
a(b+c)=ab+ac
distributive axiom
a+b=b+a
commutative axiom of additon
(a+b)+c=a+(b+c)
associative axiom of addition
a=a
reflexive axiom of equality
if a=b, then b=a
symmetric axiom of equalty
if a=b and b=c, the a=c
transitive axiom of equality
a+b= a real number
closure axiom