[FOM] Consequence of PA inconsistency

Arnon Avron aa at tau.ac.il
Thu Apr 29 02:03:24 EDT 2010

I would like to point out that by the truth-table of implication,
there can be no doubt that if a contraduction is found in PA
then all types of Platonism will be refuted (along with
Formalism and every other ism...).

Arnon Avron

More information about the FOM mailing list