Перейти к содержанию

Преемник

Определение. Преемник числа n, обозначаемый S(n), — следующее за n натуральное число. Базовое неопределяемое понятие аксиом Пеано наряду с начальным элементом.

В каких главах встречается

Связанные концепты

Требуются перед изучением: