To be a little superficial, the Platonist position in
philosophy of mathematics is that the number 17, and all of its friends and
relations down to distant cousins, exist quite independently of us. Mathematical truth is discovered in something
closely analogous to the way rare jungle fauna are discovered by exploring zoologists. The truths of mathematics are not invented, stipulated, or constructed, not directly, not indirectly, not even very indirectly.