集合論的には0^0を1と定義する理由はある、
Σa_n x^n のn=0 , x=0 の時のようにある場合は便利、
複素関数論的には0^0=1と定義して良いことが何もない、混乱するだけ。

↑他に何かあったっけ？