> My book argues (among other things) that while all of the constructions of traditional mathematics are logically possible (not very interesting), many of them are metaphysically impossible for any object to instantiate.

How is that even remotely relevant?