Основным объектом рассматриваемой теории выступает понятие «натуральное число».
Основным отношением между натуральными числами выступает понятие «следует за». Число, следующее за натуральным числом а, обозначается . Натуральные числа будем обозначать малыми буквами латинского алфавита.