>>772
>「0^y を定義するため」では不十分ですか?
これでは、その定義が他より優る理由にはなり得ません