>>442
x↑y を解析関数と決めてしまえば、その結果として、
x=y=0 は「自然な定義域」には含まれないことなる。
解析関数は、定義域の各点で局所正則だが、
0↑0 の値を何に定めても x↑y は x=y=0 で正則には
ならないからだ。

0↑0 に値を与えたければ、少なくとも x=y=0 では
解析的でないと決めなくてはならない。