原推：One of my favorite concepts that @slatestarcodex taught me is defining things extensionally. See his extensional defn of high modernism:
slatestarcodex.com/2017/03/16/boo…
It often really is far more accurate than attempting a self-contained formal description that captures everything.
https://twitter.com/VitalikButerin/status/1608948499189747715