Theorem

Ein Theorem (von lateinisch theorema, "das Angeschaute") ist ein wissenschaftlicher Lehrsatz oder Grundsatz.

Innerhalb eines wissenschaftlichen Systems ist ein Theorem eine Aussage, die logisch abgeleitet aus den Axiomen eines Systems durch Anwendung eines Beweises gewonnen und bewiesen wurde. Dabei wird diese Aussage aber auch manchmal als Lehrsatz verstanden.

In der Mathematik ist ein Theorem oder Satz innerhalb einer mathematischen Theorie (die auf Axiomen und Deduktionsregeln basiert) eine gültige Aussage, d.h. sie kann durch einen mathematischen Beweis aus den Axiomen durch die Deduktionsregeln der Theorie gefolgert werden.

Die Begriffszuordnung, welches Theorem und welches Axiom in einem System ist, lässt sich nicht immer eindeutig festlegen, denn dies hängt vom gegebenen System mit seiner Struktur ab.

Bei der Axiomatisierung eines Systems muss zur Festlegung von Axiomen die Menge der Aussagen bestimmt werden, die nach den Regeln zur Bildung eines Axiomensystems notwendig und hinreichend sind. Nach erfolgter Festlegung dieser Aussagenmenge ergibt sich die Möglichkeit, alle anderen Aussagen bzw. Theoreme zu diesem System aus den gewonnenen Axiomen logisch abzuleiten und zu beweisen.

Somit ist klar, dass es keine apriori gegebenen Axiome bzw. Theoreme in einem System geben kann.

In der Praxis der Veröffentlichungen kommt auch die Erscheinung vor, dass der Begriff des Theorems nicht im herkömmlichen Sinne verwendet wird. Es tritt nämlich auf, dass nicht aus Axiomen logisch abgeleitete und bewiesene Aussagen als Theoreme bezeichnet werden, sondern beliebige Lehrsätze, die nur z.B. innerhalb einer experimentellen Prüfung eines Systems gewonnen wurden.

Siehe auch

• Satz (Mathematik)
• Liste mathematischer Sätze