Su origen es de 1923-1933 Church lo introdujo para fundamentar las matemáticas.