By Eleanor Hicks,2014-04-17 22:17
The Consistency of Arithmetic
The paper presents a proof of the consistency of Peano Arithmentic (PA) that
does not lie in deducing its consistency as a theorem in an axiomatic system. PA's
consistency cannot be proved in PA, and to deduce its consistency in some stronger
system PA+ is self-defeating. Instead, a semantic proof is constructed which ..