英语 ⇄ 俄语 +

primitive recursive derivation 强调
数学	примитивно-рекурсивный вывод; примитивно рекурсивный вывод