[FOM] Falsify Platonism?

[Bill Taylor]

Lucas Kruijswijk <L.B.Kruijswijk at inter.nl.net> wrote:

-> Hilbert's program contains hard tests, which are mostly
-> proven to be impossible. Is there any hard test that can
-> falsify Platonism?

Yes.

If a contradiction is derived from PA, that will falsify Platonism.

(Strictly speaking, that falsifies numerical Platonism; it might be easier
 still to falsify set-theoretic Platonism.)
 
W. Taylor.    (Basics Bill)