And anyway, if you can find a statement that can neither be proved nor disproved, then you can create two greater axiomatic systems where it’s defined as true or false, respectively.
There’s nothing more mysterious about this than the other axioms; math holds predictive power to the degree the axiomatic system we choose to use has axioms that match our universe.
And anyway, if you can find a statement that can neither be proved nor disproved, then you can create two greater axiomatic systems where it’s defined as true or false, respectively.
There’s nothing more mysterious about this than the other axioms; math holds predictive power to the degree the axiomatic system we choose to use has axioms that match our universe.