Функция преемника

• Функция-преемница в математике передает натуральное число следующему, обозначаемая через S. 
• Функция-преемница является одним из основных компонентов для построения примитивной рекурсивной функции. 
• Последующие операции также известны как zeration в контексте нулевой гипероперации. 
• Функция-преемница является частью формального языка, используемого для формулирования аксиом Пеано. 
• В этой формализации функция-преемница является примитивной операцией над натуральными числами. 
• Функция-преемница является основой 0-го уровня бесконечной иерархии гиперопераций Гжегорчика. 
• Это также одна из примитивных функций, используемых для характеристики вычислимости с помощью рекурсивных функций.