I read that platonists believe there are abstract mathematical objects.
How do they think about formal systems? For example,
Do they discriminate the set of natural numbers N on ZF and that on ZFC?
Do they see the sets in a formal system as itself abstract mathematical objects, or as something gives expressions of the abstract objects?
