Das Wort Theorem stammt aus dem lateinischen Theorem, es ist keine offensichtliche Wahrheit, aber es ist nachweisbar. Die Theoreme entstehen durch intuitive Eigenschaften und sind ausschließlich deduktiver Natur, weshalb eine Art logisches Denken (Beweis) als absolute Wahrheiten akzeptiert werden muss.
Einige Beispiele des Satzes sind die folgenden: Das Quadrat der Summe der Hypotenuse ist gleich der Summe der Quadrate der Beine. Wenn eine Zahl mit null oder fünf endet, ist sie durch fünf teilbar.
In den Postulaten (intuitive Wahrheit mit genügend Beweisen, um als solche akzeptiert zu werden) wie den Theoremen gibt es eine Bedingung (Hypothese) und eine Schlussfolgerung (These), die als erfüllt angesehen wird, wenn der bedingte Teil oder die Hypothese gültig ist. Die Theoreme erfordern den Beweis, der nichts weiter als eine Reihe von verketteten Argumenten ist, die durch Postulate oder andere bereits bewährte Theoreme oder Gesetze gestützt werden.
Es ist sehr wichtig, die Reziprozität eines Satzes zu berücksichtigen. Dies wird ein weiterer Satz, dessen Hypothese die These des ersten (direkter Satz) ist und dessen These die Hypothese des direkten Satzes ist. Zum Beispiel:
Direkter Satz: Wenn eine Zahl mit null oder fünf endet (Hypothese), ist sie durch fünf teilbar (These).
Reziproker Satz: Wenn eine Zahl durch fünf teilbar ist (Hypothese), muss sie mit Null oder fünf enden (These). Sie müssen sehr wachsam sein, da wechselseitige Sätze fast nicht immer wahr sind.
Einige der bekanntesten Sätze in der Geschichte sind: Pythagoras ', Thales, Fermat, Eukliden, Bayes, die zentrale Grenze, Primzahlen, Morley ua