Do any finite predictions of Quantum Mechanics depend on the set theoretic axioms used?

I was wondering if any of the finite predictions of Quantum Mechanics depend on what set theoretic axioms are used.

We will say that Quantum Mechanics makes a finite prediction about an experiment if, when you do the experiment, you can determine whether or not the prediction is correct after a finite amount of time. (One caveat is that many predictions of QM are probabilistic. In this case, predictions of the form "E will occur during experiment X with probability p" is permissible as finite prediction (as long as we can determine if E happened after a finite amount of time, and ZF can compare p to any ratio of numerals).)

For example, deciding whether a material is gapped or gapless does not count, due to a limit approaching infinity (i.e. it is an unbounded question).

My question is if there are any finite predictions in QM that depend on the set theoretic axioms used? That is, is there some finite prediction such that the statement "QM makes that prediction" is independent of ZF set theory?

EDIT: We can ask a weaker question that is interesting as well if we replace ZF with second-order arithmetic (under Henkin semantics) or one of its prominent subsystems.

EDIT: There's an interesting paper that talks about how QM works in different models of ZF. The statement about QM that they prove is independent of ZF is not a finite prediction, but it may be helpful since it deals directly with ZF, instead of using a more general computability based approach.

First of all the difference between Does the Axiom of Choice (or any other "optional" set theory axiom) have real-world consequences? and this question is that mine focuses solely on Quantum Mechanics, making it answerable. Additionally, it is my opinion at least that if some prediction of QM depends on set theory, that would reveal a flaw in QM, not an empirical fact about set theory.

The reason for limiting this to finite predictions is that it is easy to see that QM has predictions without the finite restriction that are dependent on the set theoretic axioms. For example if ZFC is consistent, then the QM predicts "a quantum computer will never find an inconsistency in ZFC", but if ZFC is inconsistent, it predicts "a quantum computer will find an inconsistency in ZFC". However, this is entirely ununique to QM, since the same thing happens with Newtonian Mechanics and regular computers, or even with Conway's Game of Life and Universal computers.

However, when we restrict to finite predictions, the situations changes. For any finite configuration in Conway's game of life, for example, PA can completely describe what the configuration will be in $$n$$ steps for any numeral $$n$$.

You might ask then "can any physical theory depend on the set theoretic axioms used"? The answer is technically yes. For example, consider PyRulez mechanics. It laws are:

• The axiom of choice implies that the Earth is flat.
• The negation of the axiom of choice implies the laws of Newtonian physics.

Seeing as the Earth isn't flat, this empirically proves the axiom of choice is false, of course. At least it would if there was not an equally (im)plausible theory that proves the opposite. :P

Of course, there is no law of Quantum Mechanics that outright states something like that. However, it does make extensive use of the real number system. Some properties of the real numbers are independent of ZF, so maybe one of them will translate into finite predictions in QM?

• I'm confused about your comment on "a limit approaching infinity." For example if someone were to prove "ZFC implies a mass gap, but ZF is agnostic about a gap" would that answer your question? We all know there's a mass gap, and if someone were to rely on ZFC to be able to prove that, then "yay ZFC?" – Mark S Feb 15 at 21:35
• @MarkS (1/2) Disclaimer: I do not really know any research level physics, so I may have phrased that weirdly. My understanding of the spectral gap problem comes from Scott Aaronson's post. Anyways, the reason that problem would not count is that the definition talks about the behavior of a material as its number of particles $L^2$ approaches infinity. Therefore, to experimentally test it, you would need an infinite series of experiments for larger and larger $L$. As noted by Aaronson, the properties of a material for any fixed $L$ is decidable, so just using one really big $L$ would not work. – PyRulez Feb 15 at 23:17
• @MarkS (2/2) As for the mass gap problem? Again, I do not know enough about the problem to tell for sure, but I guess the question is if a solution to the problem would imply some prediction that could be tested by a single experiment that takes finite time. – PyRulez Feb 15 at 23:20
• I'm voting to close because this is not a well-defined mathematical question. It's not even clear to me that it's a well-defined physical question. Lurking in the background are some hidden and not-very-well-articulated philosophical assumptions about the relationship between physical theories, mathematical theories, and experimental observations. – Timothy Chow Feb 15 at 23:28
• @PyRulez: It is hard to know how to start answering this question. First, QM is not a mathematical theory. It is a physical theory. ZFC is a well-defined mathematical object but QM is not. Second, what is a "prediction"? It's not just a mathematical theorem. It is something about the results of a thought experiment in the physical world. Again, experiments and the physical world are not mathematically precise entities. So your question is not a well-defined mathematical question. – Timothy Chow Feb 17 at 19:12