The thing we could prove is “no detectable increase versus control, in our test data”. There is no way to prove “x does not cause cancer” any more than there is a way to prove “x does not cause meteors” or “x does not cause spontaneous human resurrections” or “x does not cause humans to turn into unicorns”.
Because, sure there can be errors either way. But a study produces new knowledge, not just knowledge or "just as much a mystery"
Proof by contradiction is just that, assume P -> get contradiction, therefore proof that !P.
People really need to retire this canard.
Let's set workable standards for when something can be called safe and enforce them.
Proofs don't apply in biology. Nothing in biology is a truly logical system that can be proved or disproved. That's true for chemistry and physics too- the only system where anything can be proved is math.
In science, instead we gather evidence and evaluate it, and often come to the conclusion that it is so unlikely something is dangerous (given the data) that we presume it's safe. People use the term "scientific proof", but I'm not aware of any in biology that would truly be classified as proof.