As a compliment for those following the Wikipedia rabbit hole, the repeated function application To represent the natural numbers is referred to as https://en.m.wikipedia.org/wiki/Church_encoding#Church_numer.... One of those calculi is lambda calculus (often extended with some syntactic niceties in PL research)