Church consiguió formalizar también dicho predicado.