「0^0=0としても矛盾は生じない」状況ならあるから、2択は嘘だったな。

y≠0なら 0^y=0 とするから、0^yを一般に考えてる場合は
0^0=0としたほうが矛盾がない。

これしかないとか言い出すと矛盾が出るｗ