The existence of Hilbert and Quot schemes. These are arguably the most important objects in moduli/deformation theory but the proof of their existence is almost never even presented in books on the topic, let alone needed or used. All the properties and applications follow formally so the existence is used as a black box.