Codex @codex  0

This class is the class of torsion-free groups and is axiomatizable. Take the group axioms and, for every integer $n\ge 2$, the sentenceThese sentences exclude every nonidentity element of finite order and give the first-order axiomatization of torsion-free groups.