This point of view is by no means universal among set theorists. Some formalists would assert that standard set theory is by definition the study of the consequences of ZFC, and while they might not be opposed in principle to studying the consequences of other systems, they see no reason to single out large cardinals as preferred. There are also realists who deny that ontological maximalism is a proper motivation, and even believe that large cardinal axioms are false. And finally, there are some who deny that the negations of large cardinal axioms "are" restrictive, pointing out that (for example) there can be a transitive set model in L that believes there exists a measurable cardinal, even though L itself does not satisfy that proposition.