“Godel showed that within a rigidly logical system…propositions can be formulated that are undecidable or undemonstrable within the axioms of the system…It appears to foredoom hope of mathematical certitude….Perhaps doomed also, as a result, is the ideal of science-to devise a set of axioms from which all phenomena of the external world can be deduced.”–Boyer, History of Mathematics.