It’s not about not teaching the platonic definition.
The problem is that you don’t start at the platonic definition. Mathematicians don’t start there either, they start at a problem. The problem may even be a hole in some other platonic idea, but nothing is ever self-contained Platonism… except maybe for categories, but well, the problem it looks is how far pure Platonism can get you.
It’s not about not teaching the platonic definition.
The problem is that you don’t start at the platonic definition. Mathematicians don’t start there either, they start at a problem. The problem may even be a hole in some other platonic idea, but nothing is ever self-contained Platonism… except maybe for categories, but well, the problem it looks is how far pure Platonism can get you.