Elementary properties of Abelian groups