You just say: ‘For every relation R that works exactly like addition, the following statement S is true about that relation.’ It would look like, ‘∀ relations R: (∀x∀y∀z: R(x, 0, x) ∧ (R(x, y, z)→R(x, Sy, Sz))) → S)’, where S says whatever you meant to say about +, using the token R.
I would change the statement to be something other than ‘S’, say ‘Q’, as S is already used for ‘successor’.
I would change the statement to be something other than ‘S’, say ‘Q’, as S is already used for ‘successor’.
I agree that the use of S here was confusing. Also, there is one too many right parens.