Matematikai kiegészítés: rekurzív függvények

A matematikában is használják a fenti rekurzív definíciókat, mikor a természetes számokon végzett mûveleteket definiálják az eggyel való megnövelés segítségével. Sõt, még folytathatod is a sort: a hatványozás alapján definiálhatod a következõ mûveletet: Valami(a,n)=hatv(hatv(hatv(...(a,a)))) (a-t n-szer emeljük saját magára, pl. Valami(a,2)=a^a.) Sajnos így hamar eléred a Pascal számábrázolási korlátait, de az új mûveletek száma végtelen.