[FOM] "Proof" of the consistency of PA published by Oxford UP

martdowd at aol.com martdowd at aol.com
Sat Mar 7 11:11:33 EST 2015


the axioms
of PA are indeed *obviously true* in the natural
numbers. What better and more
convincing proof can one want?





I would call this the standard classical position.  It's worth adding that there are progressions of theories, both the "natuarally occurring" ones (Q, E;ementaty arithmetix, PA, various subsystems of second order arithmetic, etc.), and artificia iterations (Turing, Feferman), all of which are consistent in the standard classical view, with stronger ones proving the consistency of weaker ones.

- Martin Dowd

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150307/18d6a12c/attachment-0001.html>

More information about the FOM mailing list