I've been doing some introductory reading on the philosophy of mathematics in an attempt to find well expressed views similar to the following. I haven't been successful.
The view is that mathematical objects exist and the mathematicians are able to perceive their existence in some way. They then construct languages (axiom systems etc.) in an attempt to describe these objects and their properties. They can never know if their descriptions are accurate, but if several mathematicians independently make distinct languages for describing the same thing and they seem to express similar things, then at least some confidence in accuracy can be obtained.
It's certainly a kind of Platonism, but I haven't seen any "professional" treatment of a view that sees mathematics in this way. Any references would be appreciated. Thanks.
