This was originally a MSE question, but I was told to ask it on MathOverflow. Does there exist a class $C$ of $L$-structures for a finite signature $L$, which is finitely axiomatizable in first-order logic with equality, but whose equality-free theory $Th(C)$ is not finitely axiomatizable?