[FOM] inconsistency of P

Edward Nelson nelson at math.Princeton.EDU
Mon Sep 26 09:33:24 EDT 2011

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

A short outline of the book is at
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

More information about the FOM mailing list