Prova mathematic
Un prova mathematic es un deduction del veritate o del falsitate de un proposition logic per medio de axiomas supponite como ver e de altere propositiones jam provate. Iste deduction debe esser recognoscite como sin errores. Provas extense sovente es repartite in plure provas partial e lemmas. Un proposition jam provate es un theorema.

Species de provas es
 le prova directe
 le prova indirecte
 le prova deductive
 le prova inductive
 le prova per induction mathematic

Referentias

Mathematica