En la segunda edición de los Principia Mathematica de Russell intenta mostrar en un nuevo Apéndice B que los postulados de Peano para los naturales los números, incluyendo el esquema de inducción matemática, se puede derivado de la ausencia del Axioma de Reducibilidad. Pero, su prueba en el apéndice está en el error, como se señaló en primer lugar por Gödel. Por lo tanto, el sistema de la segunda edición sólo puede ser explicada completa fallo, considerado como una base para las matemáticas.
Mi primera pregunta es,
Hizo Russell nunca intentó hacer su prueba de la correcta? ¿Cómo trató de hacerlo? En particular, ¿cuál fue su respuesta a Gödel cuando mostró que la prueba contiene un error?
