Is the zero considered a leading zero?

Question

According to the formal definition of a leading zero, is the zero itself considered a leading zero?

Answer 1

This question has more of an opinion based answer. However, let us call any number with leading digit $0$ as 'good'. We can easily see that any non-zero integer can be written in a 'good' way by just adding a zero before the leading digit. Thus, when any non-zero integer can be written in a 'good' way, it would make sense to say that zero itself can be written in a good way. A 'good' number moreover needs a minimum of one zero, so it would be logical to say that $0$ is good.

Besides, in A000030 of the OEIS sequence, we can see that the leading digit of zero is $0$. This shows that $0$ is a good number.

Now, our answer depends upon how you define a leading zero. If a leading zero is just zero as the leading digit, then our answer is yes. However, if we go with the Wikipedia definition, the answer is no, as we can see that we must have our zero, before any non-zero digit. Thus, this would require a non-zero digit to be present.

However, definitions from the internet need not be correct. Depending on what definition you go with, your answer might vary.