[srean]

For arithmetic properties and definitions do you suggest tracing them right to Peano axioms ?

[mcphage]

If the page had arithmetic structures, then obviously yes. Groups don’t include those properties, which is why they are not listed, and that is a very important distinction.