だから、>>453 のように
解析的であることを要請したら
解析的でない関数が得られた
この拡張のしかたが自然だ…とか
支離滅裂なことを言ってないで、正直に、
多項式や巾級数を表記するのに便利だから
個別に 0↑0=1 を追加する…と言ってしまえば、
無理をして破綻した証明モドキを書いて
馬鹿扱いされる必要がなくなるよ
と言い続けている訳だ。
人間、正直が一番だ。