Choose 2 axioms that allows 22+(m+8) to be written as m+30
Two axioms we use are
1. Commutative addition
2. Associative addition
In commutative addition we swap the number and add. In associative addition we move the numbers from one pair to another pair.
22+(m+8)
= 22 + (8 + m) -------> Commutative addition
= (22 + 8) + m -------> Associative addition
= 30 + m
= m + 30 -------> Commutative addition again