Обьяснить тему: числа и вычисления.натуральные числа. и научите решать я не понял не черта эту тему

Множество всех натуральных чисел принято обозначать знаком .

Введём функцию , которая сопоставляет числу следующее за ним число.

( является натуральным числом); Если , то (Число, следующее за натуральным, также является натуральным); (1 не следует ни за каким натуральным числом); Если и , тогда (если натуральное число непосредственно следует как за числом , так и за числом , то );