Mathematical existence requires either explicit construction or derivation from axioms accepted as o...