[FOM] inconsistency of P

[Edward Nelson]

I am writing up a proof that Peano arithmetic (P),
and even a small fragment of primitive-recursive
arithmetic (PRA), are inconsistent. This is posted
as a Work in Progress at
http://www.math.princeton.edu/~nelson/books.html

A short outline of the book is at
http://www.math.princeton.edu/~nelson/papers/outline.pdf
The outline begins with a formalist critique of finitism,
making the case that there are tacit infinitary assumptions
underlying finitism. Then the outline describes how
inconsistency will be proved. It concludes with remarks on
how to do modern mathematics within a consistent theory.

Ed Nelson