Redigerer Bevis (vitenskap) (avsnitt)

== Bevis i matematikken ==
I matematikken kan prinsipielt begge formene for bevis brukes, men ikke i alle deldisipliner. I&nbsp;[[geometri]]en er f.eks. bare deduktive bevis mulig.

I&nbsp;[[aritmetikk]]en brukes derimot også induktive bevis, nemlig ved å konstruere en «bevisstrategi» (''[[matematisk induksjon|fullstendig induksjon]]''). For eksempel kan et utsagn ''A'' bevises å ha gyldighet for alle [[heltall]] (som er en uendelig mengde) ved
# å bevise ''A''(''n''), dvs. bevise deduktivt at ''A'' er sant for et vilkårlig valgt tall ''n'', '''og'''
# å demonstrere gyldigheten av <math>A(m) \Leftrightarrow A(m+1)</math>, dvs. at ''A'' også gjelder for nabotallene til et tall det er kjent å gjelde for.