La posibilidad de expresar mediante elementos o términos del sistema las funciones numéricas resultó una idea muy atractiva tanto para Church como para sus colaboradores.