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