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

laureano luna laureanoluna at yahoo.es
Mon May 23 10:01:15 EDT 2011

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?


Laureano Luna

More information about the FOM mailing list