Wiskundige bewys

'n Wiskundige bewys is 'n inferensiele argument vir 'n wiskundige stelling, wat aantoon dat die gestelde aannames logies die gevolgtrekking waarborg. Die argument kan ander voorheen gevestigde stellings gebruik, soos teoremas; maar elke bewys kan in beginsel gekonstrueer word deur slegs sekere basiese of oorspronklike aannames bekend as aksiomas,^[2][3][4] saam met die aanvaarde reëls van inferensie. Bewyse is voorbeelde van uitputtende deduktiewe redenasie wat logiese sekerheid vestig, om te onderskei van empiriese argumente of nie-uitputtende induktiewe redenasie wat "redelike verwagtinge" vestig. Die aanbieding van baie gevalle waarin die stelling geld, is nie genoeg vir 'n bewys nie, wat moet aantoon dat die stelling waar is in alle moontlike gevalle. 'n Proposisie wat nie bewys is nie, maar wat geglo word dat dit waar is, staan bekend as 'n vermoede, of 'n hipotese as dit gereeld as 'n aanname vir verdere wiskundige werk gebruik word.

1. ↑ Verwysingfout: Invalid <ref> tag; no text was provided for refs named math.ubc
2. ↑ Verwysingfout: Invalid <ref> tag; no text was provided for refs named tcodom
3. ↑ Verwysingfout: Invalid <ref> tag; no text was provided for refs named nutsandbolts
4. ↑ Verwysingfout: Invalid <ref> tag; no text was provided for refs named Wiley