＞集合論でどんなに正しくても、それは x,y∈N という条件下での
＞　lim[x→0,y→0]x^y = 1
＞という証明でしかない。

lim[x→0,y→0]x^y = 1じゃなくて0^0=1