Aquí hay un boceto en miniatura de nuestro plan para llegar al teorema: La prueba del primer teorema de incompletitud consiste esencialmente en construir una determinada oraciónθ y darse cuen...Aquí hay un boceto en miniatura de nuestro plan para llegar al teorema: La prueba del primer teorema de incompletitud consiste esencialmente en construir una determinada oraciónθ y darse cuenta de queθ es, por su propia naturaleza, una verdadera declaración enN y una afirmación que es improbable a partir de nuestros axiomas.