I read that platonists believe there are abstract mathematical objects.

How do they think about formal systems? For example,

 1. Do they discriminate the set of natural numbers N on ZF and that on ZFC?

 2. Do they see the sets in a formal system as itself abstract mathematical objects, or as something gives expressions of the abstract objects?