Помогите обьяснить Тему:Числа и вычисления.Натуральные числа. И научите решать задания я не понял не черта эту тему

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