Church intenta definir este concepto apoyándose en la definición de función recursiva de enteros positivos (o, lo que es lo mismo, con una función lambda-definible de enteros positivos).