In Freedom and Rationality: Essays in Honour of John Watkins.
Actually mathematical theorems are not proved by ‘pure’ argument (independent of physics) either, as I shall explain in Chapter 10.
Actually it could still be true universally, if other theories about the experimental set-up were false.