User blog comment:LittlePeng9/Addition is commutative/@comment-2033667-20141002052007/@comment-1605058-20141002053003

S is an axiom which states that if numbers are equal, so are their successors. This is one of equality axioms, because S is functiomal symbol.