Theorem
Logik
© 2016
- 2026
Definition
In der Logik wird Theorie definiert als ein Satz von Aussagen, die zueinander widerspruchsfrei sind. Oft kann man für eine solche Theorie einige wenige Sätze angeben, aus denen sich dann alle anderen logisch herleiten lassen. Das sind die Axiome. Ein (Lehr)Satz, den man logisch aus Axiomen herleiten kann ist dann ein Theorem. [1] [2] Siehe auch 👉 Axiom
Fußnoten
- [1] Metzler Philosophie Lexikon. Herausgegeben von Peter Prechtl und Franz-Peter Burkard. 2. überarbeitete Auflage. Stuttgart, Weimar, 1999. ISBN: 3-476-01679-X. Seite 595.
- [2] Der Brockhaus definiert Theorem als ein "durch logische Ableitung aus den Axiomen gewonnener Lehrsatz innerhalb eines wissenschaftlichten Systems." In: Brockhaus in Achtzehn Bänden. F. A. Brockhaus. Leipzig, Mannheim. 2002. ISBN für alle Achtzehn Bände gemeinsam: 3-7653-9320-7. Band 14, der Eintrag "Theorem", Seite 88.