Universal equations in ℤ (like a+b=b+a) involve only +, -, and =, which are definable in any abelian...
This proposition has not been edited since the history system was added.