The universal definition — it can define any mathematical object you like, in the right set-theoretic universe

In set theory, we have the phenomenon of the universal definition. This is a property $\phi(x)$, first-order expressible in the language of set theory, that necessarily holds of exactly one set, bu…