Editing Theory (section)

===Versus theorems===
Theories are distinct from [[theorem]]s. A ''theorem'' is [[formal proof|derived]] deductively from [[axiom]]s (basic assumptions) according to a [[formal system]] of rules, sometimes as an end in itself and sometimes as a first step toward being tested or applied in a concrete situation; theorems are said to be true in the sense that the conclusions of a theorem are logical consequences of the axioms. ''Theories'' are abstract and conceptual, and are supported or challenged by observations in the world. They are '[[rigor]]ously tentative', meaning that they are proposed as true and expected to satisfy careful examination to account for the possibility of faulty inference or incorrect observation. Sometimes theories are incorrect, meaning that an explicit set of observations contradicts some fundamental objection or application of the theory, but more often theories are corrected to conform to new observations, by restricting the class of phenomena the theory applies to or changing the assertions made. An example of the former is the restriction of classical mechanics to phenomena involving macroscopic length scales and particle speeds much lower than the speed of light.