Множество всех натуральных чисел принято обозначать знаком .
Введём функцию , которая сопоставляет числу следующее за ним число.
( является натуральным числом);
Если , то (Число, следующее за натуральным, также является натуральным);
(
1 не следует ни за каким натуральным числом);
Если и , тогда (если натуральное число непосредственно следует как за числом , так и за числом , то );