Неабелево многообразие групп имеет неразрешимую элементарную теорию. А.Р. Замятин — 1978 Algebra i Logika