[Doctor Stochastic]

Euclid was right in that the fifth postulate had to be a postulate. Euclid's only real failing in geometry was the failure to distinguish between the inside and outside of a triangle. Hilbert's axiomization fixes things up.

[Alamo-Girl]

Thank you so very much for the explanation!

It seems to me that math is much more "formal" in the development of a theory and in proving it. Granted, that may be because I'm so fond of math - but still, science does not seem anywhere near as formal (except of course when the science is coupled tightly with math.)