Graph theorists do it in four colours. Group theorists do it simply. Group theorists do it with the Monster. Hilbert spacers do it orthogonally. Inductionists do it forever if they can do one and can do one more.
Large cardinals do it inaccessibly.
Linear programmers do it with nearest neighbors. Logicians do it by choice. Logicians do it consistently and completely. Logicians do it incompletely or inconsistently. Logicians do it with Jensen's device.