 Many of those who are sceptical of the philosophical use of categoricity argments in the philosophy of mathematics take all of our consistent mathematical theories to have many structurally different models, and take all or many of those models to be on a par with one another. As we saw in the previous sub-section, the set theoretic multiverse view is a case in point, and so is set theoretic potentialism. But one can go further, and defend the thesis that any consistent mathematical theory describes a free-standing mathematical universe, and that no such theory is more true than any other (Linsky &amp; Zalta 1995, Bueno 2011).