Theorem

Logik

Definition

In der Logik wird Theorie definiert als ein Satz von Aussagen, die zueinander widerspruchsfrei. 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 Satz, den man logisch aus Axiomen herleiten kann ist dann in diese Definition ein Theorem. Siehe auch Axiom ↗

Fußnoten

[1] Metzeler Philosophie Lexikon. Herausgegeben von Peter Prechtl und Franz-Peter Burkard. 2. überarbeitete Auflage. Stuttgart, Weimar, 1999. ISBN: 3-476-01679-X. Seite 595.