Doesn't change my view that you can't "meaningfully" say what you have no grounds for knowing. In my view of the world, which it that it isn't ruled by dream logic, and the past is fixed, whether we can know certain things about it or not, Abraham Lincoln either did or did not masturbate on his 15th birthday. But no one can "meaningfully" (in the sense in which I've used the word) say that he did or didn't.

Anyway, going back a bit, there are problems with "elegance", like a lack of agreement on what it means, unless you say "elegance as defined by ..." (assuming you can come up with a coherent definition)" Then you could say there is a set of all elegant mathematical proofs whether anyone has ever thought them or not. (Maybe not really, because Gödel, I believe shows that no matter how hard we try, we will never have a "well defined" (let along the one and only correct) specification of the set of all mathematical proofs).