I still struggle with exactly what bo sees with the different kinds of zero.
Infinity is not a number, the issue here is that it is an equality issue. That is, infinity is more a statement of how we can tell different large numbers apart. The recriprocals of these all converge on zero. The whole point of infinity is not that it is a "place", but a "location".
One might suppose that "here" is always here, but its size changes relative to "there". For example, when talking of long distances, here might be the town you are in. When talking about your own house and yard, here might be a room. But there is always a here that includes your personal space. There is always somewhere remote with some effort to get to. It depends on how you get there, too.
Zero is zero is zero. That is, while there may be many kinds of infinity, there is only one zero. It is the only number of that sign (neither positive nor negative), and arguments based on the properties of positive numbers can not really be used to draw conclusions on other signs unless there is some argument along these lines.
We note further that my argument of 0^0=1 is roundly dismissed, yet the very function of zero is the empty column. We hear silence on the implications of 0^0 = 0, in the expression that 6 = 6.m^0 = 6.0^0 = 0.
One should understand that the reals don't exist in nature, but are the underlying properties of any sequence of numbers. You simply can not construct a real number, because to do so, you have to give it a name, and that name brings extra properties to the number.
One can, indeed define P() for a real list of arguments, via the ability to construct fractions &c. That is, while x^n is a product of n terms x, it is still possible to superimpose fractions, and other things, to turn n from natural to real. In no case, is the original case of the natural number disturbed.
What i find more tiring is that the argument that zero's properties as a counting number ought be dismissed, with little to no proof, except a faulty argument about approaches from the positive side (which show that as one approaches an exponent of zero, the value is more closer to 1), the fault is that there is a change of sign when moving along 0^x.
The argument is that 0^x has different values when x is positive, zero or negative, and only for these signs. One can not draw conclusions on one from the other.
We are then left with some imposible task of trying to prove something that is unprovable (ie R^R), since any number in R has a construction, and thus is endowered by the properties of the construction. You simply can not generate a continium. You generate a series of discretes.
There is a clear demonstration of the nature of P() and p^0, which is based on the property of zero, that represent the absence of effect. That is what zero is. There are no other examples of numbers of this sign. It is surely a bitter pill.
One must also understand that if the absence of effect (0^0) can have an effect (ie != 1), then this would distabilise all numbers, because one can create m^0 as a factor in any equation, and then set m=0, and then distabilise that equation.
W