後繼函數

在 數學 、 後繼函數 或 後繼運算 是一個 原始遞歸函數 S 使得 S ( n ) = n +1 ， n 爲自然數 。 例如 ， S ( 1 ) = 2和 S ( 2 ) = 3 。 後繼函數在西方國家也稱爲zeration ， 因爲它是第零類超運算 ： H0 ( a, b ) = 1 + b 。