Teorem

Matematiska begrepp
Tal Mängd Variabel Ekvation Funktion Operator Vektor Linjärt rum

Härledningsbegrepp
Medför Bevis – Bevisbarhet Giltighet Sundhet Konsekvens Fullständig – Fullständighet Teorem Tautologi Kontradiktion Konträra satser Härledbarhet
Närliggande begrepp
Implikation Logisk sanning Sanning Motsägelse

En sats eller ett teorem (av grekiska θεωρέω, theoreo, "betrakta", "skåda") är ett matematiskt eller logiskt påstående, som är bevisat. Begreppet syftar vanligtvis på ett huvudresultat inom en viss teori. Beviset beskriver hur satsen logiskt följer från teorins axiom.

Se även

• Teorem (logik)
• Deduktionsteoremet
• Formel
• Reductio ad absurdum
• Härledning
• Härledningsbegrepp
• Lemma
• Matematiskt bevis
• Korollarium
• Tautologi

Källor

• Nationalencyklopedin. Höganäs: Bra Böcker. 1995 
• Lübcke, Poul, red (1988). Filosofilexikonet. Stockholm. ISBN 91-37-10062-9