Except that mathematics mostly isn’t a “casual model generating precise predictions”, especially at the higher levels, famously so with the philosophical failures of Bertrand Russell.
Gödel tapping the sign
No consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of natural numbers
