x^y はx≠0 で複素多価函数として
x=exp(y*log(x))
定義し、x=0のときは
　0^a=1(a=0)
　0^a=0 (a:実数、a>0)
　0^a=未定義（a 上二つ以外）
で、定義して何も「矛盾」はないだろ。

0^0での連続性が全くないだけだ、矛盾はないｗ