theorem
The term theorem (from the Greek theórema , 'viewed, investigated, proposition'), also proposition , is ambiguous.
It generally designates a doctrine, a doctrine or part of a scientific theory; more specifically "the declared sentences (statements, norms) of a system" or the statement proven in a theory or a proven proposition.
In an axiomatic-deductive theory, theorem means in a narrower sense “the proposition that is logically derived from the axioms ”. Sometimes the axioms are also called theorems of the theory.
In mathematics , instead of the theorem or theorem, one often speaks simply of the proposition . In order for it to be recognized as true, it must be proved from the axioms of the theory with the inference rules of the theory .
In physics , a theorem is also called a natural law or physical law . In contrast to mathematics, the relationship to reality plays a decisive role here. The training set must by experiments as adequately be detected.
See also
- Proposition (lemma)
- Corollary
- Tautology (logic)
Web links
- The Hundred Greatest Theorems ( January 5, 2008 memento in the Internet Archive )