Bizonyítás
Bizonyítás az állítás igazságának logikai igazolása. Matematikában és formális logikában a bizonyítás deduktív érvelés: az állítást az axiómákból, definíciókból és korábban igazolt tételekből levezetik. A bizonyítás akkor érvényes, ha minden lépés a szabályok szerint történik, így a premisszákból a konklúzió szükségszerűen következik. A hétköznapi nyelvben a szó használható bizonyításként vagy demonstrációként is, például egy jelenség összefüggésének alátámasztására vagy egy gondolatmenet igazolására.
Típusok és módszerek: közvetlen bizonyítás, ellentmondásos bizonyítás (reductio ad absurdum), az ellenkező állításból vezető bizonyítás, indukciós
Történelem és jelentőség: a bizonyítás hagyománya az ókori Görögországban kezdődött; a formalizálás a 19–20. században erősödött,