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

Kommentarer

Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.

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

eller registrer deg