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?