Рекурсивная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий многообразий (статья)