Constructivism stays winning.
Constructivism stays winning.
I take a much more lax view of what is a valid mathematical object than constructivists. If you can define formal rules for it, go fish! But I do think mathematical objects are closer to 'created' than 'discovered'.
Yes, that’s my idiosyncratic brand of constructivism too (that was Herman Weyl’s perspective).