0^0 が未定義の方を好む人でも、0^1=0 は使うだろう。
　0^y = 0
という式の y がどの範囲か（y∈Z or Q or R or C∧y>0）はともかく
　0^y = exp(log(0)*y)
と定義する訳にはいかない。代わりに使えるのは
　0^1 = 0
　0^(n+1)=0^n*0
だが、自然数で十分という合意には達していない。そのため
　0^y = lim[x→0]x^y
などの複数の定義方法が候補に挙がることになる。ただし
　0^y = 0
は除外すべき。これでは「0^0の逆数」を聞かれた時
　0^-0 = 1/0^0 ≠ 0^0
となって答えられないから。