> If, from a set of axioms and rules of inference, we can produce a
> valid proof of a theorem, then the theorem is true, within that
> axiomatic system.
> I'd suggest that this notion of provability is analogous to the
> "reality" of physics. Provable theorems are what we know, within
> a mathematical system.
> [.......and much much more.......]
I thank you for that very nice response!
(I'm inclined to suppose that math and physics
are complementary, and one day we'll see physical
solutions of unsolved math problem, a sort of
math thermodynamics (Chaitin?), but it is just
a lucid dream!).