Аннотация:
В работе рассматривается вопрос об эквивалентности двух систем аксиом $S$, $T$ относительно системы аксиом $K$ и дается усиление теоремы А. Робинсона осносительно $\sigma$-устойчивости. Результаты работы [1] переносятся на формулы, содержащие свободные предметные переменные.