Talk:Peano arithmetic

Say I want to define exponentiation in the language of PA. Would this be a good definition?

∀x: ^(x,0)=S(0)∧∀x∀y: ^(x,S(y))=*(^(x,y),x)

I'm trying to understand how this exactly works, so feedback/help would be appreciated. Maybe called Googology Noob (talk) 15:00, February 19, 2016 (UTC)