>>19
その通りだけど、0^0=1だと都合が良いので、実用上0^0=1としてるものも多いし、
未定義なので0^0=0だったりエラーだったりするものもある。

トポスで0^0=1が証明されたことで、今後は実用上こちらが多数派にはなるだろうが。
あくまで未定義。