Что такое натуральное число?

Определение: Натуральными называют числа, используемые при счете предметов

Натуральными называют числа, используемые при счете (нумерации, перечислении) предметов. То есть, это целые положительные числа. Отрицательные и нецелые числа — к натуральным не относятся.

Натуральный ряд чисел конструируется на основе начального натурального числа, называемого единицей (обозначение "1") и операции перехода к следующему. Эта операция применима к любому натуральному числу, а ее результат считается натуральным числом, следующим за исходным.

Для любого натурального числа существует только одно следующее. Единица является наименьшим натуральным числом, поскольку нет такого натурального числа, для которого она была бы следующим. Наибольшего натурального числа не существует, поскольку для любого натурального числа можно построить следующее. Формально структура множества натуральных чисел задается пятью аксиомами Пеано.

Между математиками есть расхождение по вопросу о том, какое число считать наименьшим в натуральном ряду. Во французской традиции, восходящей к работам Н. Бурбаки, в отличие от других математических школ натуральными принято считать числа, выражающие количество предметов в группе. Поэтому в этой традиции наименьшим натуральным числом считается ноль ("0"), а не единица, и, соотвественно, французские математики, в отличие от других, признают ноль натуральным числом. Такой подход мотивирован также теоретико-множественной моделью натурального ряда, в которой ноль отождествляется с пустым множеством (Ø), а операция перехода к следующему — с образованием множества, состоящего из всех предшествующих натуральных чисел (представленных множествами) :

0 ≡ Ø

1 ≡ {Ø}

2 ≡ {Ø, {Ø}}

3 ≡ {Ø, {Ø}, {Ø, {Ø}}}

4 ≡ {Ø, {Ø}, {Ø, {Ø}}, {Ø, {Ø}, {Ø, {Ø}}}}

и т. д.

Следует отметить, что при таком построении каждое натуральное число совпадает с мощностью соответствующего ему множества.

Например: 4-натуральное число, а 4,5-ненатуральное число