Hay un error tipográfico en el dover y Dios Creó los números Enteros de las ediciones de Gödel de la Incompletitud de papel? O es correcto?
Basado en la eq. 9 en la parte 2, yo creo que debe haber una negación de firmar más xB{17Genr} en la ecuación 15. Sé que esto es una esotérico, pero si alguien tiene una mejor traducción (la traducción de un libro sobre el origen de la lógica matemática o Davies. Undecidability tal vez), ¿es el mismo? Es correcto?
Debo añadir que él simplemente dice "sustituyendo p por y". Y a la mera sustitución no debería afectar a la negación en 9.
