The class of all $S$-pregroups is not finitely axiomatizable