I also think you define integers as successors. Z, S(Z), S(S(Z)) etc. you can prove that a * b = b * a, given that you have defined the + function and * functions.