undefined

undefined

undefined

undefined

"With one proviso, the models of this set of sentences are precisely the structures that mathematicians know as abelian groups."

abelian algebra  abelian group  abelian operation  abelian ring