Аннотация:
В статье доказана алгоритмическая неразрешимость $\exists \forall^2 \exists^3$-теории свободной полугрупп счетного ранга, что усиливает классический результат В. Куайна [1] 1946 года об алгоритмической неразрешимости элементарной теории любой нециклической свободной полугруппы.