On 9/19/2013 3:30 PM, Dan Christensen wrote: > > I chose > > (2) Ax,y in N: x^(y+1) = x^y * x > > so that the pattern could be worked backwards (even extended into the negative integer exponents) by successively dividing by the base value. But the pattern could not be worked backwards for a base of 0 since you can't divide by 0. That left only 0^0 and 0^1 undefined in N. Introduce the Product of Powers Rule (PPR) and 0^1 must be 0 and 0^0 either 0 or 1. >
And, where in "number theory" is "division" a primitive operation?
As noted elsewhere, if you are invoking a different theory you must present it for evaluation.