Another way to see it is that for (non-negative) whole-numbered exponentiation defined as repeated multiplication, the definition is actually:
x • y^n := x multiplied by y, n times (regardless of what x is).
So x • y^0 is then x multiplied by y, 0 times, which is obviously just x.
Hence y^0 must be 1 for all y, notably even when y is 0 (if you define whole numbered exponentiation this way).
Latest Answers