>>435
べき乗を定義するときに、
単に場合分けして、x=y=0 のときは x↑y=1 としたのか、
何か別の定義をして、そこから 0↑0=1 を導いたのか？
ってことでしょ。
結局、どう定義するのが自然か という感情論にしかならないけど。

ここまで見た議論では、0↑0=1 を導く元の定義はどうにも不自然で、
場合分けで 0↑0=1 と決めるほうが話がスッキリしている印象。