Para ello, dada una fórmula del cálculo de predicados, Turing demostró que no existía ninguna máquina de Turing, que en número establecido de pasos, nos permitiera determinar si se trata de un teorema del cálculo.