On the contrary, this is not a problem at all. Again, 0^0 is a natural number, but no value is assigned to it in my definition of ^ on N. This formalizes the longstanding practice (since Cauchy in the early 19th century) of leaving 0^0 undefined. Again, I define ^ as follows: