>>60
>「>>33の残り２つを参照。上を使えば証明とさえ言える。」
>全然証明になってません。

これが気になるな。圏論は知らないからともかく、自然数のモデルに空集合から作られる集合を使うのは標準だろう。
そこでの基数やa^bの定義から見れば、0^0=1になるというのは導かれる結果だ。なぜ証明になっていないというのか、理由を教えて欲しい。
>>71を見ると、もう答える気はないのかもしれないが。