Натуральные числа (обозначаются ) — числа
(ноль не является натуральным числом!). Это числа, которые мы используем для счёта объектов. Множество натуральных чисел обозначается
. Натуральные числа можно определить по индукции: натуральные числа — это числа вида
и
, где
— натуральное число.