Referansejakt

Wikipedia-utdraget nedenfor støttes ikke av noen pålitelig kilde. Kan du finne en?

Klikk på Den fikser jeg! for å gå til Wikipedia og fikse utdraget, eller på Neste for å se et annet. Se Wikipedia:Bruk av kilder om du lurer på noe. Lykke til!

På siden «Matematisk bevis»:

Denne teksten er del av artikkelens ingress der referanser ikke alltid kreves. Se Wikipedia:Bruk_av_kilder for mer informasjon.

"

Ofte begynner matematiske bevis med å vise at utsagnet er sant for et enkelt tilfelle, og dersom det også er sant for alle mulige variabler, kan utsagnet formuleres som et teorem. Teoremet kan deretter brukes til å formulere nye utsagn. Bevis blir distingvert mellom formelle og uformelle,[trenger referanse] der sistnevnte er vanligere å bruke, ettersom det i tillegg til logikk finnes en del naturlig språk, som tilfører et visst element av usikkerhet til fordel for leservennlighet.