1. Thinking Platonically makes it easier (for people) to prove
theorems.
2. Platonism is harmless --- all Platonic proofs can be formalized.
3. Robots (verification systems) should be Platonists --- their statements
should be about "sets" and "functions" and they should never
talk about syntactic rules of inference when discussing "ordinary"
mathematics.
4. In summary, Platonism is desirable in every way.
David