Эдвард Нельсон, профессор Принстона, вынес на суд публики своё доказательство противоречивости арифметики Пеано

I am writing up a proof that Peano arithmetic (P), and even a small fragment of primitive-recursive arithmetic (PRA), are inconsistent.

подробности

(Ссылка на кэш Гугла, потому что прямая — уже лежит)