Basic rule of instrumentation - thermometers do not tell environmental temperature - they tell their own temperature. What makes a thermometer objective is not its accuracy, but that it is a physical reality which then all observers may read the same.
4 Likes
It seems to me that this is more about language than reality. A thing is itself. That’s what the words mean. It’s not a necessary assumption, just a statement about the meanings of words.
1 Like
I found reference to systems the “weaken” identity, which means Set Theorists have been looking at the question. (I’ve been away to a family wedding so I haven’t tried to look anything up yet.)
I don’t the set of provable props will be zero, but it’s likely to be trivial, so for practical purposes I think you are right.