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