Два вопроса

[Nik_Nikols]

1. Выводима ли ВТФ в $PA$ $+$ рекурсивное определение операции возведения в степень?
2. Выводим ли в $PA$ каждый частный случай ВТФ для фиксированного (стандартного) показателя $n$ (возведение в степень $n$ $=$ $n$-кратному умножению)?

[Профессор Снэйп]

Второе, безусловно, выводимо. Первое - не знаю.