Kjede av logiske slutninger som, med utgangspunkt i aksiomer, leder til det man i matematikken kaller satser (eller teoremer). I beviset for en matematisk sats, er det — i tillegg til aksiomene — også tillatt å bruke satser som allerede er blitt bevist.
Blant de viktigste bevisteknikkene innen matematikken, finner vi induksjonsbevis (se induksjon) og indirekte bevis (se reductio ad absurdum).