Bevis er en 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 og indirekte bevis.
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.