Basándose en un trabajo previo de Kleene y construyendo una numeración de Gödel para expresiones lambda, Church construyó una expresión lambda "e" que seguía la prueba del teorema de incompletitud de Gödel.