Нуль---это нелогичная константа (в аксиоматике Пеано), и потому чтоб утверждать, что 0 в степени 0 равно 1, то такого рода утверждения нужно доказывать, как теорему, ибо нулевая (нелогичная) степень любого числа (отличного от нуля)---это не тоже самое, что такая же операция с нелогичная константой нуль. По крайней мере нужна такая интерпретация допустим в ZFC (что скорее всего неосуществимо).