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