If I define the set of my steak knives --- which I am looking at across my kitchen right now -- does mathematics have anything to say about whether the real, six physical Henckel knives are actually a set, or whether the set is a model for them that exists only in my (and now others') minds?