I get that, but I have to say I also see merit in the position that maths is discovered, not invented. I'm currently doing some self-study into more rigorous ma

I get that, but I have to say I also see merit in the position that maths is discovered, not invented. I'm currently doing some self-study into more rigorous mathematics and I do often get the feeling that some of the structures are just there, not human inventions made for human purposes. I have recently been quite interested in the Cantor set, for example - hardly a useful tool...