Unsolvability of the universal theory of finite groups
scientific article; zbMATH DE number 3821686