The product rule does

It's not an axiom. I think it might be the definition of "given".

and in any case I mean to include all the rules of arithmetic that we use to apply Bayes.

Then you're talking about math, not probability. The fact that you can't prove or disprove Goedel's sentence doesn't change the probability of a hypothesis.