 First-order axiomatization of torsion-free groups

The torsion-free groups are axiomatized by the group axioms together with, for every integer $n\ge 2$,