Модификации строгой примитивно-рекурсивной реализуемости и аксиома индукции.доклад на конференции