There is an elegant style of mathematical argument by which one proves an existence claim not by exhibiting any particular instance, but rather by proving that a randomly chosen instance from a suitable class exhibits the property with nonzero probability.
Joel Hamkins (2026) studied this question.