ange beskrivning
Successor
Função sucessora
Fonction successeur
後繼函數
elementary operation on a natural number
다음수 함수
función
funzione
自然數的初等運算
後者関数
Successor function
fonction récursive