  Maddy also offers an admirably detailed account of the kinds of mathematical reasons that militate against the ‘Axiom’ of Constructibility, V = L, in particular the fact that its adoption goes against the set-theoretical maxim MAXIMIZE, which enjoins that the universe of sets should be as expansive as possible (by containing as many isomorphism types as possible).