Y la conclusión fuerte:

"¿Será posible resolver la pregunta P vs NP con una demostración finita de estilo matemático basada en axiomas estándar? Los resultados aquí me hacen dudarlo."