I didn't mean to say that the proof could be used in science, but neither can the proofs of pure mathematical theorems, either, such as the ones involving infin

I didn't mean to say that the proof could be used in science, but neither can the proofs of pure mathematical theorems, either, such as the ones involving infinity. You don't have to test something for it to exist logically.