Universal theory of finite groups is undecidable

Statement
The universal theory (in a model-theoretic sense) of finite groups is undecidable.