[FOM] Voevodsky corr051711,11:12AM-052211,11:05AM

[laureano luna]

I am absolutely baffled.

So apparently Voevodsky believes these two statements:

1. That the consistency of PA is impossible to prove within PA.
2. That PA may be inconsistent.

But 1. (together with the trivial fact that if PA is incosistent, it proves everything) entails that PA is consistent! 

My doubt is: is Voevodsky consistent?

Regards,

Laureano Luna