[mjburgess]

There's a distinction between whether the objects of mathematics are "invented" vs. whether they are subjective. These arent equivalent notions.

It's possible to maintain mathematics is discovered and its objects are subjective. This would be akin to the kantian position, in which mathematics constitues something like the formal structure of subjective experience itself. ' Either way, the options arent "invented subjectivity, vs. discovered platonism