На всякий случай, для будущих поколений.
Оказывается, все проблемы от того, что AD "отнес число 0 к натуральному ряду", а tapos "указал на этот прискорбный факт", и вообще "обличал ошибочные суждения".
В некоторых странах принято число 0 считать натуральным, и никому это не мешает, и в половине случаев удобнее. В связи с этим распространены также обозначения

и

.
Об этом знает даже Википедия (!!)
Иногда, в иностранной и переводной литературе, в первой и третьей аксиомах заменяют

на

. В этом случае ноль считается натуральным числом.
В русской литературе обычно ноль исключён из числа натуральных чисел

, а множество натуральных чисел с нулём обозначается как

.
Если в определение натуральных чисел включен ноль, то множество натуральных чисел записывается как

, а без нуля как

.