Prova mathematic

Un prova mathematic^[1] 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.

Un prova del theorema de Pythagoras: cata del triangulos ha le mesme area, ergo le areas gris que remane in cata del illustrationes alsi son identic, ergo ${\displaystyle a^{2}+b^{2}=c^{2}}$

Species de provas es

• le prova directe
• le prova indirecte
• le prova deductive
• le prova inductive
• le prova per induction mathematic