指数の定義以前に 0 で割ってはいけないというルールがある。
つまり 0^(-1) というものを考えてはいけないと言うルール。
( そういうものを考えるとa・0 = b・0 の両辺に0^(-1)を掛けて a = b になってしまう )

>>555
「a^(-1) の a には 0^0 を代入できる」という仮定をしているからこそ 0^0 = 0 が否定されるんじゃないの?