>>59
集合論でどんなに正しくても、それは x,y∈N という条件下での
　lim[x→0,y→0]x^y = 1
という証明でしかない。x,y∈R の場合には
　lim[x→0,y→0]x^y = 1
の証明はできない。（つまり、間違っている）
私たちが普段使っているべき乗とは、下の式だ。

ただし、本来の意味での 0^0 とは x,y∈R での
　(lim[x→0]x)^(lim[y→0]y) = 1
なので、これが成立すると考えても、何ら問題はない。