Equational Arithmetic