Theorem

From GM-RKB
(Redirected from theorem)
Jump to: navigation, search

See: Mathematical Theorem.



References

  • WordNet
    • a proposition deducible from basic postulates
    • an idea accepted as a demonstrable truth
  • en.wikipedia.org/wiki/Theorem
    • In mathematics, a theorem is a statement proven on the basis of previously accepted or established statements. In mathematical logic, theorems are modeled as formulas that can be derived according to the derivation rules of a fixed formal system.
  • en.wiktionary.org/wiki/theorem
    • A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. ...
  • http://www.logic-classroom.info/glossary.htm
    • theorem is a proposition deduced from an axiom.