On Sunday, October 20, 2013 6:40:18 PM UTC-4, Bart Goddard wrote: > Dan Christensen <Dan_Christensen@sympatico.ca> wrote in > > news:firstname.lastname@example.org: > > > > > Perhaps you can give us your own formal definition of exponentiation > > > on N, Bart? > > > > Yes, I could.
But you didn't. Not as easy at it looks, eh, Barty?
First you have to come up with a set of ordered triples of natural numbers, then prove that set is a function, then prove it meets all your other requirements -- the Laws of Exponents or some equivalent in this case.