I need to prove the following axiom for addition:
x + ( y + z ) = (x + y) + z /* associative */
using proof by induction, I know I have to first prove using a base case followed by the inductive step.
The only problem is its been a while and can't remember how to do the base case.
Any help would be appreciated greatly.