原始帰納じゃない関数だけど、帰納関数でしょ、アッカーマン関数。
ネット上に原始帰納じゃないけど帰納であることの証明載ってるところないかしら。