Instintivamente el número "n" en el cálculo lambda es una función que toma a otra función "f" como argumento y devuelve la "n"-ésima composición de "f".