Простые примеры неразрешимых рекурсивно аксиоматизируемых финитно аппроксимируемых эквациональных логиктезисы доклада