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).

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål til artikkelen? Skriv her, så får du svar fra fagansvarlig eller redaktør.

Du må være logget inn for å kommentere.