Пусть p – простое число, p ≠ 2, H_p² – группа, имеющая в многообразии нильпотентных ступени не выше двух групп следующее представление: H_p² = gr(x, y||x^p2 = y^p2 = [x, y]^p = 1). Обозначим через qH_p² наименьшее квазимногообразие, содержащее группу H_p² , а через M^p2 = L(qH_p²)  класс Леви, порожденный квазимногообразием qH_p². Согласно определению, класс Леви L(qH_p²) состоит из всех групп, в которых нормальное замыкание каждого элемента принадлежит qH_p² . Известно, что класс Леви, порожденный квазимногообразием, также является квазимногообразием. Кроме того, известны квазитождества, задающие квазимногообразие M^p2. Список этих квазитождеств бесконечен и содержит квазитождества от любого сколь угодно большого числа переменных. Совокупность квазитождеств, задающих квазимногообразие, называется базисом этого квазимногообразия. Говорят, что квазимногообразие имеет конечный аксиоматический ранг, если его можно задать базисом от конечного числа переменных. Возникает естественный вопрос: является ли квазимногообразие M^p2 конечно аксиоматизируемым? Доказано, что аксиоматический ранг квазимногообразия M^p2 конечен. Как оказалось, квазимногообразие M^p2 можно задать квазитождествами от трех переменных.