:''Ta atros usos d'o termin se veiga '''[[demostración]]'''.''
Una '''demostrazióndemostración matematica''' ye una suzesiónsuccesión coderent de pasos que, prenendo como berdaderoverdadero un conchunto de premisas ditas [[ipotesihipotesi (matematica)|ipotesihipotesi]]s, premite asegurar a berazidatveracidat d'una [[tesi (matematica)|tesi]]. Istos pasos deben estar fundamentatos en l'aplicaziónaplicación de regles de deduzióndeducción (fundatos ya sía en [[acsiomaaxioma]]s u en [[tioremateorema]]s anteriorment contrimostratos u en regles basicos de deduzióndeducción d'o sistema en custiónqüestión). O feito de no conoxerconoixer denguna demostrazióndemostración d'un tioremateorema no significa que no sía berdatverdat; nomás a demostrazióndemostración d'a negaziónnegación d'iste resultato significa que ye falso.
Encara que por un regular no esisteexiste un prozedimientoprocedimiento unico de demostrazióndemostración de tioremasteoremas, sí esistenexisten diferents tipos de demostrazionsdemostracions que son emplegatos a ormino en [[matematicas]]:
* [[DemostraziónDemostración por contraposizióncontraposición]]
* [[DemostraziónDemostración por reduziónreducción l'absurdo]], ey como caso particular, [[deszensodescenso infinito]]
* [[InduziónInducción matematica]]
** [[InduziónInducción fuerte]]
D'atra man, a tamas de l'alto grado de interbenziónintervención umanahumana nezesarionecesario ta fer una demostrazióndemostración, tamién esistenexisten tecnicas computazionalscomputacionals que premiten fer [[DemostraziónDemostración automatica|demostrazionsdemostracions automaticas]], notablement en o campo d'a [[cheometría euclidiana]].
