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

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

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

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