後繼函數

在 数学、 後繼函數 或 後繼運算 是一个 原始递归函数 S 使得 S(n)= n+1，n 為自然数。例如， S(1)=2和 S(2)=3。后继函數在西方国家也称为zeration，因為它是第零类超運算：H0(a, b)=1+ b。