>>36
　解析関数としてx^yを定義する⇒0^0を計算すると1になる
という話（これは証明が可能な事実）をしてるだけなのに、それが 0^0=1 を定義したという話になっている。

私はべき乗を解析関数と思うなら、0^0=1 と定義するのが自然だとは思うが
>>35
で示したことは、定義ではなく、証明だ。