Even in the mathematical case, the counterfactual 'if the consistency of set theory had been proved in a finitistic subsystem of set theory, Although I think that demonstratives and proper names are rigid, the problem does not depend on any such specific devices as long as: (a) in principle, rigid designators could be introduced into the language, and (b) objects can have essential properties that are known to be true of them.