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