>>279
「PRAで」って条件忘れてる？
primitive recursive arithmeticだよ

君がいう関数はもちろん作れるけど
それってprimitive recursive functionではないよ

アッカーマン関数ってあるじゃん
あれって原始帰納的関数じゃないよ