Disclaimer для ссылок:
В одном флеймогонном треде с моим участием речь шла о "рекурсивных функциях".
Во избежание непоняток - речь шла об этом:

Primitive recursive function
μ-recursive function

А вовсе не о том, что в програзматике. В основном - о первом.

PS: Сразу говорю - в вики набор базовых функций не просто избыточен, а офигенно избыточен.