In axiomatic mathematics, an axiom may be treated as a black box specified by its stated properties, so long as it is consistent with the other axioms.

“And the axiom can be a black box, and you just write on the black box what the black box is supposed to contain. And as long as this doesn't lead to contradictions with the other black boxes that you have defined, you're good.”