Una demostración matematica ye una succesión coderent de pasos que, prenendo como verdadero un conchunto de premisas ditas hipotesis, premite asegurar a veracidat d'una tesi. Istos pasos deben estar fundamentatos en l'aplicación de reglas de deducción (fundatos ya sía en axiomas u en teoremas anteriorment contrimostratos u en reglas basicas de deducción d'o sistema en qüestión). O feito de no conoixer denguna demostración d'un teorema no significa que no sía verdat; nomás a demostración d'a negación d'iste resultato significa que ye falso.