Я так понял по фон Нейману натуральный ряд начинается с 0 и в учебнике используется именно этот подход.
Не совсем, я еще помню учебник Зорича. Множество натуральных чисел с нулем он обозначает иначе,

.
И поверьте, после задачи №3 модель натурального ряда начинающегося с 0 больше вам не встретится, у учебнике натуральные числа начинаются с 1.